Sciweavers

ICCAD
2003
IEEE
103views Hardware» more  ICCAD 2003»
14 years 4 months ago
Static Verification of Test Vectors for IR Drop Failure
Aman Kokrady, C. P. Ravikumar
ICCAD
2003
IEEE
159views Hardware» more  ICCAD 2003»
14 years 4 months ago
Mixed Signal DFT: A Concise Overview
Practical mixed-signal DFT solutions are presented with an emphasis on performance, cost, and test coverage. Special consideration is given to the possible DFT techniques for Phas...
Bozena Kaminska, Karim Arabi
ICCAD
2003
IEEE
97views Hardware» more  ICCAD 2003»
14 years 4 months ago
Iterative Abstraction using SAT-based BMC with Proof Analysis
Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav ...
ICCAD
2003
IEEE
141views Hardware» more  ICCAD 2003»
14 years 4 months ago
An Enhanced Multilevel Algorithm for Circuit Placement
This paper presents several important enhancements to the recently published multilevel placement package mPL [12]. The improvements include (i) unconstrained quadratic relaxation...
Tony F. Chan, Jason Cong, Tim Kong, Joseph R. Shin...
ICCAD
2003
IEEE
205views Hardware» more  ICCAD 2003»
14 years 4 months ago
Statistical Timing Analysis for Intra-Die Process Variations with Spatial Correlations
Process variations have become a critical issue in performance verification of high-performance designs. We present a new, statistical timing analysis method that accounts for int...
Aseem Agarwal, David Blaauw, Vladimir Zolotov
ICCAD
2003
IEEE
111views Hardware» more  ICCAD 2003»
14 years 8 months ago
A Trade-off Oriented Placement Tool
High quality placement results are always produced at the cost of significant runtimes. In this paper, we study the trade-off between the overall quality and the runtime for stand...
Huaiyu Xu, Maogang Wang, Bo-Kyung Choi, Majid Sarr...
ICCAD
2003
IEEE
137views Hardware» more  ICCAD 2003»
14 years 8 months ago
Bus-Driven Floorplanning
In this paper, we present an integrated approach to floorplanning and bus planning, i.e., bus-driven floorplanning (BDF). We are given a set of circuit blocks and the bus speciï...
Hua Xiang, Xiaoping Tang, Martin D. F. Wong
ICCAD
2003
IEEE
124views Hardware» more  ICCAD 2003»
14 years 8 months ago
Gradual Relaxation Techniques with Applications to Behavioral Synthesis
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
Zhiru Zhang, Yiping Fan, Miodrag Potkonjak, Jason ...
ICCAD
2003
IEEE
159views Hardware» more  ICCAD 2003»
14 years 8 months ago
Energy-Aware Fault Tolerance in Fixed-Priority Real-Time Embedded Systems
We investigate an integrated approach to fault tolerance and dynamic power management in real-time embedded systems. Fault tolerance is achieved via checkpointing and power manage...
Ying Zhang, Krishnendu Chakrabarty, Vishnu Swamina...
ICCAD
2003
IEEE
141views Hardware» more  ICCAD 2003»
14 years 8 months ago
Passive Synthesis of Compact Frequency-Dependent Interconnect Models via Quadrature Spectral Rules
In this paper, we present a reduced order inodeling methodology, based on the utilization of optimal non-uniform grids generated by Gaussian spectral rules, for the direct passive...
Traianos Yioultsis, Anne Woo, Andreas C. Cangellar...