10718 search results - page 144 / 2144 » On the Circuit Implementation Problem |
123
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...
VLSID
2005
IEEE
16 years 4 months ago
2005
IEEE
The electromigration effect within current-density-stressed signal and power lines is an ubiquitous and increasingly important reliability and design problem in sub-micron IC desi...
134
click to vote
AMC
2005
15 years 3 months ago
2005
In this paper, we reviewed several newly presented nonlinear model order reduction methods, we analyze these methods theoretically and with experiments in detail. We show the prob...
128
Voted
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been pro...
111
click to vote
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
We present the first complete problems for dynamic complexity classes including the classes Dyn-FO and Dyn-ThC ¢ , the dynamic classes corresponding to relational calculus and (...