TY - BOOK AU - IEEE Conference on design automation (15 TI - Design automation. Proceedings U1 - 629.806 PY - 1978/// CY - New York PB - IEEE ER -