TY - BOOK AU - IEEE conference on design automation (13 TI - Design automation. Proceedings U1 - 629.806 PY - 1976/// CY - New York PB - IEEE ER -