Sciweavers

Share
ICCAD
2007
IEEE
108views Hardware» more  ICCAD 2007»
9 years 11 months ago
A frequency-domain technique for statistical timing analysis of clock meshes
—We propose a frequency-domain modeling technique with applications on the statistical timing analysis of clock mesh/grid networks. Using transmission lines to model clock mesh e...
Ruilin Wang, Cheng-Kok Koh
ICCAD
2007
IEEE
109views Hardware» more  ICCAD 2007»
9 years 11 months ago
Inductive equivalence checking under retiming and resynthesis
Retiming and resynthesis are among the most important techniques for practical sequential circuit optimization. However, their applicability is much limited due to verification c...
Jie-Hong Roland Jiang, Wei-Lun Hung
ICCAD
2007
IEEE
137views Hardware» more  ICCAD 2007»
9 years 11 months ago
Analysis of large clock meshes via harmonic-weighted model order reduction and port sliding
— Clock meshes posses inherent low clock skews and excellent immunity to PVT variations, and have increasingly found their way to high-performance IC designs. However, analysis o...
Xiaoji Ye, Peng Li, Min Zhao, Rajendran Panda, Jia...
ICCAD
2007
IEEE
96views Hardware» more  ICCAD 2007»
9 years 11 months ago
Monte-Carlo driven stochastic optimization framework for handling fabrication variability
Increasing effects of fabrication variability have inspired a growing interest in statistical techniques for design optimization. In this work, we propose a Monte-Carlo driven sto...
Vishal Khandelwal, Ankur Srivastava
ICCAD
2007
IEEE
97views Hardware» more  ICCAD 2007»
9 years 11 months ago
Gate sizing by Lagrangian relaxation revisited
Jia Wang, Debasish Das, Hai Zhou
ICCAD
2007
IEEE
107views Hardware» more  ICCAD 2007»
9 years 11 months ago
Computation of minimal counterexamples by using black box techniques and symbolic methods
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
Tobias Nopper, Christoph Scholl, Bernd Becker
ICCAD
2007
IEEE
175views Hardware» more  ICCAD 2007»
9 years 11 months ago
Compact modeling of variational waveforms
— In ultra-deep sub-micron technologies, modeling waveform shapes correctly is essential for accurate timing and noise analysis. Due to process and environmental variations, ther...
Vladimir Zolotov, Jinjun Xiong, Soroush Abbaspour,...
ICCAD
2007
IEEE
130views Hardware» more  ICCAD 2007»
9 years 11 months ago
Analysis and optimization of power-gated ICs with multiple power gating configurations
- Power gating is an efficient technique for reducing leakage power in electronic devices by disconnecting blocks idle for long periods of time from the power supply. Disconnecting...
Aida Todri, Malgorzata Marek-Sadowska, Shih-Chieh ...
ICCAD
2007
IEEE
173views Hardware» more  ICCAD 2007»
9 years 11 months ago
Bounding L2 gain system error generated by approximations of the nonlinear vector field
Abstract— Typical nonlinear model order reduction approaches need to address two issues: reducing the order of the model, and approximating the vector field. In this paper we fo...
Kin Cheong Sou, Alexandre Megretski, Luca Daniel
books