TY - BOOK AU - Design automation conference (37 TI - DAC-2000: Proceedings SN - 0780363159 U1 - 629.806 PY - 2000/// CY - New York PB - ACM ER -