Journal: ACM Trans. Design Autom. Electr. Syst.

Volume 3, Issue 1

1 -- 20Eric W. Johnson, Jay B. Brockman. Measurement and analysis of sequential design processes
21 -- 50Karim Khordoc, Eduard Cerny. Semantics and verification of action diagrams with linear timing
51 -- 75Stan Y. Liao, Kurt Keutzer, Steven W. K. Tjiang, Srinivas Devadas. A new viewpoint on code generation for directed acyclic graphs
76 -- 107C.-J. Richard Shi, Janusz A. Brzozowski. Cluster-cover a theoretical framework for a class of VLSI-CAD optimization problems