DAC
2004
ACM
15 years 1 months ago
2004
ACM
A recursive algorithm for solving Boolean relations is presented. It provides several features: wide exploration of solutions, parametrizable cost function and efficiency. The exp...
DAC
2004
ACM
15 years 1 months ago
2004
ACM
DAC
2004
ACM
15 years 1 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...
DAC
2004
ACM
15 years 1 months ago
2004
ACM
DAC
2004
ACM
15 years 1 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...
DAC
2004
ACM
15 years 1 months ago
2004
ACM
DAC
2004
ACM
15 years 1 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...