Sciweavers

ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
14 years 10 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 10 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 10 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 10 months ago
Topologically constrained logic synthesis
Subarnarekha Sinha, Alan Mishchenko, Robert K. Bra...
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
14 years 10 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 10 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 10 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 10 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 10 months ago
Repeater insertion and wire sizing optimization for throughput-centric VLSI global interconnects
Harshit K. Shah, Pun Shiu, Brian Bell, Mamie Aldre...