DAC
1997
ACM
14 years 3 months ago
1997
ACM
This paper presents a verification technique which is specifically targeted to formally comparing large combinational circuits with some structural similarities. The approach co...
DAC
1997
ACM
14 years 3 months ago
1997
ACM
DAC
1997
ACM
14 years 3 months ago
1997
ACM
DAC
1997
ACM
14 years 3 months ago
1997
ACM
We present a system-level approach for power optimization under a set of user specified costs and timing constraints of hard real-time designs. The approach optimizes all three d...
DAC
1997
ACM
14 years 3 months ago
1997
ACM
DAC
1997
ACM
14 years 3 months ago
1997
ACM
DAC
1997
ACM
14 years 3 months ago
1997
ACM
In this paper, we present a new hypergraph partitioning algorithm that is based on the multilevel paradigm. In the multilevel paradigm, a sequence of successively coarser hypergra...
DAC
1997
ACM
14 years 3 months ago
1997
ACM
Multi-threshold CMOS is an increasingly popular circuit approach that enables high performance and low power operation. However, no methodologies have been developed to size the h...
DAC
1997
ACM
14 years 3 months ago
1997
ACM
: Academic clock routing research results has often had limited impact on industry practice, since such practical considerations as hierarchical buffering, rise-time and overshoot ...
DAC
1997
ACM
14 years 3 months ago
1997
ACM