Sciweavers

Share
DAC
2004
ACM
10 years 4 months ago
A recursive paradigm to solve Boolean relations
A recursive algorithm for solving Boolean relations is presented. It provides several features: wide exploration of solutions, parametrizable cost function and efficiency. The exp...
David Bañeres, Jordi Cortadella, Michael Ki...
DAC
2004
ACM
10 years 4 months ago
Fast and flexible buffer trees that navigate the physical layout environment
Charles J. Alpert, Milos Hrkic, Jiang Hu, Stephen ...
DAC
2004
ACM
10 years 4 months ago
Defining coverage views to improve functional coverage analysis
Coverage analysis is used to monitor the quality of the verification process. Reports provided by coverage tools help users identify areas in the design that have not been adequat...
Sigal Asaf, Eitan Marcus, Avi Ziv
DAC
2004
ACM
10 years 4 months ago
DyAD: smart routing for networks-on-chip
Jingcao Hu, Radu Marculescu
DAC
2004
ACM
10 years 4 months ago
Quantum-Dot Cellular Automata (QCA) circuit partitioning: problem modeling and solutions
This paper presents the Quantum-Dot Cellular Automata (QCA) physical design problem, in the context of the VLSI physical design problem. The problem is divided into three subprobl...
Dominic A. Antonelli, Danny Z. Chen, Timothy J. Dy...
DAC
2004
ACM
10 years 4 months ago
Efficient equivalence checking with partitions and hierarchical cut-points
Previous results show that both flat and hierarchical methodologies present obstacles to effectively completing combinational equivalence checking. A new approach that combines th...
Demos Anastasakis, Lisa McIlwain, Slawomir Pilarsk...
books