Sciweavers

ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
14 years 6 months ago
Symbolic pointer analysis
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
Jianwen Zhu
ICCAD
2002
IEEE
149views Hardware» more  ICCAD 2002»
14 years 6 months ago
Gate sizing using Lagrangian relaxation combined with a fast gradient-based pre-processing step
─ In this paper, we present Forge, an optimal algorithm for gate sizing using the Elmore delay model. The algorithm utilizes Lagrangian relaxation with a fast gradient-based pre-...
Hiran Tennakoon, Carl Sechen
ICCAD
2002
IEEE
92views Hardware» more  ICCAD 2002»
14 years 6 months ago
Optimization of a fully integrated low power CMOS GPS receiver
This paper describes an optimization technique able to optimize a complete wireless receiver architecture in a reasonable amount of time. The optimizer alternates between spice le...
Peter J. Vancorenland, Philippe Coppejans, Wouter ...
ICCAD
2002
IEEE
98views Hardware» more  ICCAD 2002»
14 years 6 months ago
Topologically constrained logic synthesis
Subarnarekha Sinha, Alan Mishchenko, Robert K. Bra...
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
14 years 6 months ago
Interface specification for reconfigurable components
This paper presents a way of encoding some kinds of dynamic reconfiguration behaviour in the interface portion of circuit descriptions. This has many advantages. The user of a rec...
Satnam Singh
ICCAD
2002
IEEE
103views Hardware» more  ICCAD 2002»
14 years 6 months ago
A novel scan architecture for power-efficient, rapid test
Ozgur Sinanoglu, Alex Orailoglu
ICCAD
2002
IEEE
189views Hardware» more  ICCAD 2002»
14 years 6 months ago
Reversible logic circuit synthesis
Reversible, or information-lossless, circuits have applications in digital signal processing, communication, computer graphics and cryptography. They are also a fundamental requir...
Vivek V. Shende, Aditya K. Prasad, Igor L. Markov,...
ICCAD
2002
IEEE
73views Hardware» more  ICCAD 2002»
14 years 6 months ago
Shaping interconnect for uniform current density
As the VLSI technology scaling down, the electromigration problem becomes one of the major concerns in high-performance IC design for both power network and signal interconnects. ...
Muzhou Shao, D. F. Wong, Youxin Gao, Li-Pen Yuan, ...
ICCAD
2002
IEEE
110views Hardware» more  ICCAD 2002»
14 years 6 months ago
Repeater insertion and wire sizing optimization for throughput-centric VLSI global interconnects
Harshit K. Shah, Pun Shiu, Brian Bell, Mamie Aldre...