140
Voted
DAC
2004
ACM
16 years 7 months ago
2004
ACM
165
click to vote
DAC
2004
ACM
16 years 7 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...
163
Voted
DAC
2003
ACM
16 years 7 months 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 ...
160
click to vote
DAC
2003
ACM
16 years 7 months 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...
179
click to vote
DAC
2003
ACM
16 years 7 months 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 ...
173
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In the way they cope with variability, present-day methodologies are onerous, pessimistic and risky, all at the same time! Dealing with variability is an increasingly important as...
156
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In this paper we propose a method for generating reduced models for a class of nonlinear dynamical systems, based on truncated balanced realization (TBR) algorithm and a recently ...
145
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
The impact of technology scaling on three run-time leakage reduction techniques (Input Vector Control, Body Bias Control and Power Supply Gating) is evaluated by determining limit...
150
Voted
DAC
2003
ACM
16 years 7 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...