Design Automation of Electronic Systems (TODAES)


Search Issue
enter search term and/or author name


ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 3 Issue 1, Jan. 1998

Measurement and analysis of sequential design processes
E. W. Johnson, J. B. Brockman
Pages: 1-20
DOI: 10.1145/270580.270581
As design processes continue to increase in complexity it is important to base process-improvement decisions on quantitative analysis. We describe the development of an analytical approach for evaluating sequential design-process completion time...

Semantics and verification of action diagrams with linear timing
K. Khordoc, E. Cerny
Pages: 21-50
DOI: 10.1145/270580.270582
Specifications containing linear timing constraints, such as found in action diagrams (timing diagrams) defining interface behaviors, are often used in practice. Although efficient O(n3) shortest path...

A new viewpoint on code generation for directed acyclic graphs
S. Liao, K. Keutzer, S. Tjiang, S. Devadas
Pages: 51-75
DOI: 10.1145/270580.270583
We present a new viewpoint on code generation for directed acyclic graphs (DAGs). Our formulation is based on binate covering, the problem of satisfying, with minimum cost, a set of disjunctive clauses, and can take into account...

Cluster-cover: a theoretical framework for a class of VLSI-CAD optimization problems
C.-J. Shi, J. A. Brzozowski
Pages: 76-107
DOI: 10.1145/270580.270584
This article introduces a mathematical framework called cluster-cover. We show that this framework captures the combinatorial structure of a class of VLSI design optimization problems, including two-level logic minimization, constrained...