TY - SER TI - ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS SN - 1084-4309 PY - 1996/// CY - NEW YORK PB - ASSOCIATION FOR COMPUTING MACHINERY ER -