ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
ICCAD
2006
IEEE
14 years 4 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
14 years 4 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
14 years 4 months ago
2006
IEEE
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
ICCAD
2006
IEEE
14 years 4 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
14 years 4 months ago
2006
IEEE
ICCAD
2006
IEEE
14 years 4 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
14 years 4 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...