175
Voted
DAC
2004
ACM
16 years 8 months ago
2004
ACM
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...
195
Voted
DAC
2004
ACM
16 years 8 months ago
2004
ACM
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...
157
Voted
DAC
2004
ACM
16 years 8 months ago
2004
ACM
198
Voted
DAC
2004
ACM
16 years 8 months ago
2004
ACM
Previous results show that both flat and hierarchical methodologies present obstacles to effectively completing combinational equivalence checking. A new approach that combines th...