ICCAD
2006
IEEE
13 years 10 months ago
2006
IEEE
ICCAD
2006
IEEE
13 years 10 months ago
2006
IEEE
ICCAD
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
ICCAD
2006
IEEE
13 years 10 months ago
2006
IEEE
Abstract—Power/ground noise is a major source of VLSI circuit timing variations. This work aims to reduce clock network induced power noise by assigning different signal polariti...
ICCAD
2006
IEEE
13 years 10 months ago
2006
IEEE
ICCAD
2006
IEEE
13 years 10 months ago
2006
IEEE
ICCAD
2006
IEEE
13 years 10 months ago
2006
IEEE
Decap (decoupling capacitor) is an effective technique for suppressing power supply noise. Nevertheless, over-usage of decap usually causes excessive power dissipation. Therefore...
ICCAD
2006
IEEE
13 years 10 months ago
2006
IEEE
ICCAD
2006
IEEE
13 years 10 months ago
2006
IEEE
Dynamic power management (DPM) work proposed to date places inactive components into low power states using a single DPM policy. In contrast, we instead dynamically select among a...
ICCAD
2006
IEEE
13 years 10 months ago
2006
IEEE
Designing asynchronous circuits by reusing existing synchronous tools has become a promising solution to the problem of poor CAD support in asynchronous world. A straightforward w...