DAC
2004
ACM
15 years 15 days 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 15 days ago
2004
ACM
DAC
2004
ACM
15 years 15 days 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 15 days ago
2004
ACM
DAC
2004
ACM
15 years 15 days 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 15 days ago
2004
ACM
DAC
2004
ACM
15 years 15 days 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...
DAC
2003
ACM
15 years 15 days ago
2003
ACM
The determination of the set (or window) of segments that are inductively coupled to a significant degree with a given segment plays a fundamental role in window-based techniques ...
DAC
2003
ACM
15 years 15 days ago
2003
ACM
In this paper, we describe a set of compiler analyses and an implementation that automatically map a sequential and un-annotated C program into a pipelined implementation, targete...
DAC
2003
ACM
15 years 15 days ago
2003
ACM
We propose the first systematic, sensor-centric approach for quantitative design of sensor network appliances. We demonstrate its use by designing light appliance devices and the ...