ICCAD
2005
IEEE
14 years 10 months ago
2005
IEEE
ICCAD
2005
IEEE
14 years 10 months ago
2005
IEEE
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
ICCAD
2005
IEEE
14 years 10 months ago
2005
IEEE
ICCAD
2005
IEEE
14 years 10 months ago
2005
IEEE
: Double-Gate (DG) transistors have emerged as promising devices for nano-scale circuits due to their better scalability compared to bulk CMOS. Among the various types of DG device...
ICCAD
2005
IEEE
14 years 10 months ago
2005
IEEE
— The generation of arbitrary patterns and shapes at very small scales is at the heart of our effort to miniaturize circuits and is fundamental to the development of nanotechnolo...
ICCAD
2005
IEEE
14 years 10 months ago
2005
IEEE
We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...
ICCAD
2005
IEEE
14 years 10 months ago
2005
IEEE
— This paper presents a new hybrid linear equation solver for quadratic placement. The new solver is a combination of stochastic solver and iterative solver: it is proven in this...
ICCAD
2005
IEEE
14 years 10 months ago
2005
IEEE
Networks-on-Chip (NoCs) represent a promising solution to complex on-chip communication problems. The NoC communication architectures considered so far are based on either complete...
ICCAD
2005
IEEE
14 years 10 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
ICCAD
2005
IEEE
14 years 10 months ago
2005
IEEE
— Standard small-signal analysis methods for circuits break down for oscillators because small input perturbations result in arbitrarily large output changes, thus invalidating f...