Join Us
Sign In
My Subscriptions
Magazines
Journals
Video Library
Conference Proceedings
Individual CSDL Subscriptions
Institutional CSDL Subscriptions
Resources
Career Center
Tech News
Resource Center
Press Room
Advertising
Librarian Resources
IEEE.org
Help
About Us
Career Center
Cart
Create Account
Sign In
Toggle navigation
My Subscriptions
Browse Content
Resources
All
Home
Proceedings
ICCAD
ICCAD 2006
Generate Citations
Computer-Aided Design, International Conference on
Nov. 5 2006 to Nov. 9 2006
San Jose, CA
ISSN: 1092-3152
Table of Contents
Papers
Monday Panel: CAD Research, Pay Now or Pay Later...
Freely available from IEEE.
pp. 17
Papers
Adaptive multi-domain thermal modeling and analysis for integrated circuit synthesis and design
Full-text access may be available. Sign in or learn about subscription options.
pp. 575-582
by
R.P. Dick
,
Li Shang
,
Zhenyu Gu
,
Changyun Zhu
,
Yonghong Yang
Papers
ICCAD 2990 International Conference on Computer Aided Design
Freely available from IEEE.
pp. 1
Papers
Proceedings of the 2006 International Conference on Computer-Aided Design
Freely available from IEEE.
pp. 2
Papers
Conference Committee
Freely available from IEEE.
pp. 3
Papers
ICCAD-2006 Technical Program Committee
Freely available from IEEE.
pp. 4-5
Papers
IEEE/ACM William J. McCalla ICCAD Best Paper Award Selection Committee
Freely available from IEEE.
pp. 5
Papers
ICCAD-2006 Reviewers
Freely available from IEEE.
pp. 6-7
Papers
Foreword
Freely available from IEEE.
pp. 8
Papers
ICCAD-2006 Awards
Full-text access may be available. Sign in or learn about subscription options.
pp. 9
Papers
Monday Keynote: An Industry in Transition: Opportunities and Challenges in Next-Generation Microprocessor Design
Freely available from IEEE.
pp. 10
by
Phil Hester
Papers
Wednesday Keynote: Innovation in Electronic Design Automation
Freely available from IEEE.
pp. 10
by
Leon Stok
Papers
Enabling Variability Aware Analysis
Full-text access may be available. Sign in or learn about subscription options.
pp. 11
Papers
DFM: Impact of Manufacturing Reality on Design
Full-text access may be available. Sign in or learn about subscription options.
pp. 11
Papers
Power and Thermal Challenges for 65 nm and Below
Full-text access may be available. Sign in or learn about subscription options.
pp. 12
Papers
Enhancing Yield at 45nm: DFM Solutions from Different Perspectives
Full-text access may be available. Sign in or learn about subscription options.
pp. 13
Papers
Transistor, Cell, and Interconnect Modeling: Basics to Advances
Full-text access may be available. Sign in or learn about subscription options.
pp. 14
Papers
Advanced Routing Techniques for Nanometer IC Designs
Full-text access may be available. Sign in or learn about subscription options.
pp. 15
Papers
Design/Technology Convergence
Freely available from IEEE.
pp. 16
Papers
Table of Contents
Full-text access may be available. Sign in or learn about subscription options.
pp. 18-30
Papers
Author Index
Freely available from IEEE.
pp. 31-40
Papers
Copyright page
Freely available from IEEE.
pp. 41
Papers
Dynamic Power Management Using Machine Learning
Full-text access may be available. Sign in or learn about subscription options.
pp. 747-754
by
G. Dhiman
,
T.S. Rosing
Papers
Dynamic Voltage and Frequency Management Based on Variable Update Intervals for Frequency Setting
Full-text access may be available. Sign in or learn about subscription options.
pp. 755-760
by
M. Najibi
,
M. Salehi
,
A.A. Kusha
,
M. Pedram
,
S.M. Fakhraie
,
H. Pedram
Papers
Temperature-Aware Leakage Minimization Technique for Real-Time Systems
Full-text access may be available. Sign in or learn about subscription options.
pp. 761-764
by
Lin Yuan
,
S. Leventhal
,
Gang Qu
Papers
Energy Budgeting for Battery-Powered Sensors with a Known Task Schedule
Full-text access may be available. Sign in or learn about subscription options.
pp. 765-771
by
D. Rakhmatov
Papers
Stepping Forward with Interpolants in Unbounded Model Checking
Full-text access may be available. Sign in or learn about subscription options.
pp. 772-778
by
G. Cabodi
,
M. Murciano
,
S. Nocco
,
S. Quer
Papers
Decomposing Image Computation for Symbolic Reachability Analysis Using Control Flow Information
Full-text access may be available. Sign in or learn about subscription options.
pp. 779-785
by
D. Ward
,
F. Somenzi
Papers
Automatic Memory Reductions for RTL Model Verification
Full-text access may be available. Sign in or learn about subscription options.
pp. 786-793
by
P. Manoliost
,
S.K. Srinivasan
,
D. Vroon
Papers
Accelerating High-level Bounded Model Checking
Full-text access may be available. Sign in or learn about subscription options.
pp. 794-801
by
M.K. Ganai
,
A. Gupta
Papers
Simultaneous Power and Thermal Integrity Driven Via Stapling in 3D ICs
Full-text access may be available. Sign in or learn about subscription options.
pp. 802-808
by
Hao Yu
,
J. Ho
,
Lei He
Papers
Yield Prediction for 3D Capacitive Interconnections
Full-text access may be available. Sign in or learn about subscription options.
pp. 809-814
by
A. Fazzi
,
L. Magagni
,
M. De Dominicis
,
P. Zoffoli
,
R. Canegallo
,
R.L. Rolandi
,
A. Sangiovanni-Vincentelli
,
R. Guerrieri
Papers
Layer Minimization of Escape Routing in Area Array Packaging
Full-text access may be available. Sign in or learn about subscription options.
pp. 815-819
by
Renshen Wang
,
Rui Shi
,
Chung-Kuan Cheng
Papers
Network Coding for Routability Improvement in VLSI
Full-text access may be available. Sign in or learn about subscription options.
pp. 820-823
by
N. Jayakumar
,
K. Gulati
,
S.P. Khatri
,
A. Sprintson
Papers
From Micro to Nano: MEMS as an interface to the nano world
Full-text access may be available. Sign in or learn about subscription options.
pp. 824-825
by
B.E. Boser
Papers
CMOS-MEMS Integration: Why, How and What?
Full-text access may be available. Sign in or learn about subscription options.
pp. 826-827
by
A. Witvrouw
Papers
Information Processing in Nanoscale Arrays: DNA Assembly, Molecular Devices, Nano-Array Architectures
Full-text access may be available. Sign in or learn about subscription options.
pp. 828-829
by
R.A. Kiehl
Papers
Molecular Organic Electronic Circuits
Full-text access may be available. Sign in or learn about subscription options.
pp. 830-831
by
V. Bulovi
,
I. Kymissis
,
I. Nausieda
,
K. Ryu
,
A. Wang
,
A.I. Akinwande
,
C.G. Sodini
Papers
Organic Electronic Device Modeling at the Nanoscale
Full-text access may be available. Sign in or learn about subscription options.
pp. 832-833
by
C. Madigan
,
V. Bulovic
Papers
Variability and yield improvement: rules, models, and characterization
Full-text access may be available. Sign in or learn about subscription options.
pp. 834-835
by
K.L. Shepard
,
D.N. Maynard
Papers
Improvements to Combinational Equivalence Checking
Full-text access may be available. Sign in or learn about subscription options.
pp. 836-843
by
A. Mishchenko
,
S. Chatterjee
,
R. Brayton
,
N. Een
Papers
SMT(CLU): A Step toward Scalability in System Verification
Full-text access may be available. Sign in or learn about subscription options.
pp. 844-851
by
H.M. Sheini
,
K.A. Sakallah
Papers
Solving the Minimum-Cost Satisfiability Problem Using SAT Based Branch-and-Bound Search
Full-text access may be available. Sign in or learn about subscription options.
pp. 852-859
by
Zhaohui Fu
,
S. Malik
Papers
Veri cation Through the Principle of Least Astonishment
Full-text access may be available. Sign in or learn about subscription options.
pp. 860-867
by
B. Isaksen
,
V. Bertacco
Papers
Performance-Oriented Statistical Parameter Reduction of Parameterized Systems via Reduced Rank Regression
Full-text access may be available. Sign in or learn about subscription options.
pp. 868-875
by
Zhuo Feng
,
Peng Li
Papers
Faster, Parametric Trajectory-based Macromodels Via Localized Linear Reductions
Full-text access may be available. Sign in or learn about subscription options.
pp. 876-883
by
S.K. Tiwary
,
R.A. Rutenbar
Papers
Robust Estimation of Parametric Yield under Limited Descriptions of Uncertainty
Full-text access may be available. Sign in or learn about subscription options.
pp. 884-890
by
Wei-Shen Wang
,
M. Orshansky
Papers
From molecular interactions to gates: a systematic approach
Full-text access may be available. Sign in or learn about subscription options.
pp. 891-898
by
J. Carmona
,
J. Cortadella
,
Y. Takada
,
F. Peper
Papers
A Spectrally Accurate Integral Equation Solver for Molecular Surface Electrostatics
Full-text access may be available. Sign in or learn about subscription options.
pp. 899-906
by
Shih-Hsien Kuo
,
J. White
Papers
Using CAD to Shape Experiments in Molecular QCA
Full-text access may be available. Sign in or learn about subscription options.
pp. 907-914
by
M. Niemier
,
M. Crocker
,
X.S. Hu
,
M. Lieberman
Papers
Stable and Compact Inductance Modeling of 3-D Interconnect Structures
Full-text access may be available. Sign in or learn about subscription options.
pp. 1-6
by
Hong Li
,
V. Balakrishnan
,
Cheng-Kok Koh
Papers
A Fast Block Structure Preserving Model Order Reduction for Inverse Inductance Circuits
Full-text access may be available. Sign in or learn about subscription options.
pp. 7-12
by
Hao Yu
,
Yiyu Shi
,
Lei He
,
D. Smart
Papers
Fullwave Volumetric Maxwell solver using Conduction Modes
Full-text access may be available. Sign in or learn about subscription options.
pp. 13-18
by
S. Ortiz
,
R. Suaya
Papers
Joint Design-Time and Post-Silicon Minimization of Parametric Yield Loss using Adjustable Robust Optimization
Full-text access may be available. Sign in or learn about subscription options.
pp. 19-26
by
M. Mani
,
A.K. Singh
,
M. Orshansky
Papers
Optimal Useful Clock Skew Scheduling In the Presence of Variations Using Robust ILP Formulations
Full-text access may be available. Sign in or learn about subscription options.
pp. 27-32
by
V. Nawale
,
T.W. Chen
Papers
State Re-Encoding for Peak Current Minimization
Full-text access may be available. Sign in or learn about subscription options.
pp. 33-38
by
Shih-Hsu Huang
,
Chia-Ming Chang
,
Yow-Tyng Nieh
Papers
A Statistical Framework for Post-Silicon Tuning through Body Bias Clustering
Full-text access may be available. Sign in or learn about subscription options.
pp. 39-46
by
S.H. Kulkarni
,
D. Sylvester
,
D. Blaauw
Papers
A Gate Delay Model Focusing on Current Fluctuation over Wide-Range of Process and Environmental Variability
Full-text access may be available. Sign in or learn about subscription options.
pp. 47-53
by
K. Shinkai
,
M. Hashimoto
,
A. Kurokawa
,
T. Onoye
Papers
Practical Variation-Aware Interconnect Delay and Slew Analysis for Statistical Timing Verification
Full-text access may be available. Sign in or learn about subscription options.
pp. 54-59
by
Xiaoji Ye
,
Peng Li
,
F. Liu
Papers
Analysis and Modeling of CD Variation for Statistical Static Timing
Full-text access may be available. Sign in or learn about subscription options.
pp. 60-66
by
B. Cline
,
K. Chopra
,
D. Blaauw
,
Yu Cao
Papers
From Single Core to Multi-Core: Preparing for a new exponential
Full-text access may be available. Sign in or learn about subscription options.
pp. 67-72
by
J. Parkhurst
,
J. Darringer
,
B. Grundmann
Papers
UML for ESL Design - Basic Principles, Tools, and Applications
Full-text access may be available. Sign in or learn about subscription options.
pp. 73-80
by
W. Mueller
,
A. Rosti
,
S. Bocchio
,
E. Riccobene
,
P. Scandurra
,
W. Dehaene
,
Y. Vanderperren
Papers
On Bounding the Delay of a Critical Path
Full-text access may be available. Sign in or learn about subscription options.
pp. 81-88
by
L. Lee
,
L.-C. Wang
Papers
A Delay Fault Model for At-Speed Fault Simulation and Test Generation
Full-text access may be available. Sign in or learn about subscription options.
pp. 89-95
by
I. Pomeranz
,
S.M. Reddy
Papers
Efficient Boolean Characteristic Function for Fast Timed ATPG
Full-text access may be available. Sign in or learn about subscription options.
pp. 96-99
by
Yu-Min Kuo
,
Yue-Lung Chang
,
Shih-Chieh Chang
Papers
Exploring Linear Structures of Critical Path Delay Faults to Reduce Test Efforts
Full-text access may be available. Sign in or learn about subscription options.
pp. 100-106
by
Shun-Yen Lu
,
Pei-Ying Hsieh
,
Jing-Jia Liou
Papers
Fast Decap Allocation Based on Algebraic Multigrid
Full-text access may be available. Sign in or learn about subscription options.
pp. 107-111
by
Cheng Zhuo
,
Jiang Hu
,
Min Zhao
,
Kangsheng Chen
Papers
Precise Identification of the Worst-Case Voltage Drop Conditions in Power Grid Verification
Full-text access may be available. Sign in or learn about subscription options.
pp. 112-118
by
N. Evmorfopoulos
,
D. Karampatzakis
,
G. Stamoulis
Papers
Importance of Volume Discretization of Single and Coupled Interconnects
Full-text access may be available. Sign in or learn about subscription options.
pp. 119-126
by
A. Shebaita
,
D. Petranovic
,
Y. Ismail
Papers
Handling Inductance in Early Power Grid Verification
Full-text access may be available. Sign in or learn about subscription options.
pp. 127-134
by
N.H.A. Ghani
,
F.N. Najm
Papers
Mapping Arbitrary Logic Functions into Synchronous Embedded Memories For Area Reduction on FPGAs
Full-text access may be available. Sign in or learn about subscription options.
pp. 135-142
by
G.R. Chiu
,
D.P. Singh
,
V. Manohararajah
,
S.D. Brown
Papers
Factor Cuts
Full-text access may be available. Sign in or learn about subscription options.
pp. 143-150
by
S. Chatterjee
,
A. Mishchenko
,
R. Brayton
Papers
An Efficient Technique for Synthesis and Optimization of Polynomials in GF(2m)
Full-text access may be available. Sign in or learn about subscription options.
pp. 151-157
by
A.M. Jabir
,
D.K. Pradhan
,
J. Mathew
Papers
Cost-aware synthesis of asynchronous circuits based on partial acknowledgement
Full-text access may be available. Sign in or learn about subscription options.
pp. 158-163
by
Yu Zhou
,
D. Sokolov
,
A. Yakovlev
Papers
A Revisit to Floorplan Optimization by Lagrangian Relaxation
Full-text access may be available. Sign in or learn about subscription options.
pp. 164-171
by
Chuan Lin
,
Hai Zhou
,
C. Chu
Papers
Fast Wire Length Estimation by Net Bundling for Block Placement
Full-text access may be available. Sign in or learn about subscription options.
pp. 172-178
by
T. Yan
,
H. Murata
Papers
Fast and Robust Quadratic Placement Combined with an Exact Linear Net Model
Full-text access may be available. Sign in or learn about subscription options.
pp. 179-186
by
P. Spindler
,
F.M. Johannes
Papers
A High-Quality Mixed-Size Analytical Placer Considering Preplaced Blocks and Density Constraints
Full-text access may be available. Sign in or learn about subscription options.
pp. 187-192
by
Tung-Chieh Chen
,
Zhe-Wei Jiang
,
Tien-Chang Hsu
,
Hsin-Chen Chen
,
Yao-Wen Chang
Papers
Testing Delay Faults in Asynchronous Handshake Circuits
Full-text access may be available. Sign in or learn about subscription options.
pp. 193-197
by
Feng Shi
,
Y. Makris
Papers
A Novel Framework for Faster-than-at-Speed Delay Test Considering IR-drop Effects
Full-text access may be available. Sign in or learn about subscription options.
pp. 198-203
by
N. Ahmed
,
M. Tehranipoor
,
V. Jayaram
Papers
Design optimization for single-event upset robustness using simultaneous dual-VDD and sizing techniques
Full-text access may be available. Sign in or learn about subscription options.
pp. 204-209
by
M.R. Choudhury
,
Quming Zhou
,
K. Mohanram
Papers
Enhanced Error Vector Magnitude (EVM) Measurements for Testing WLAN Transceivers
Full-text access may be available. Sign in or learn about subscription options.
pp. 210-216
by
E. Acar
,
S. Ozev
,
K.B. Redmond
Papers
A Linear-Time Approach for Static Timing Analysis Covering All Process Corners
Full-text access may be available. Sign in or learn about subscription options.
pp. 217-224
by
S. Onaissi
,
F.N. Najm
Papers
A Framework for Statistical Timing Analysis using Non-Linear Delay and Slew Models
Full-text access may be available. Sign in or learn about subscription options.
pp. 225-230
by
S. Bhardwaj
,
P. Ghanta
,
S. Vrudhula
Papers
An Accurate Sparse Matrix Based Framework for Statistical Static Timing Analysis
Full-text access may be available. Sign in or learn about subscription options.
pp. 231-236
by
A. Ramalingam
,
A.K. Singh
,
S.R. Nassif
,
Gi-Joon Nam
,
M. Orshansky
,
D.Z. Pan
Robust System-Level Design with Analog Platforms
Full-text access may be available. Sign in or learn about subscription options.
pp. 334-341
by
F. De Bernardinis
,
P. Nuzzo
,
A. Sangiovanni Vincentelli
Papers
A New Statistical Max Operation for Propagating Skewness in Statistical Timing Analysis
Full-text access may be available. Sign in or learn about subscription options.
pp. 237-243
by
K. Chopra
,
B. Zhai
,
D. Blaauw
,
D. Sylvester
Papers
Cache Miss Clustering for Banked Memory Systems
Full-text access may be available. Sign in or learn about subscription options.
pp. 244-250
by
O. Ozturk
,
G. Chen
,
M. Kandemir
,
M. Karakov
Papers
A Bitmask-based Code Compression Technique for Embedded Systems
Full-text access may be available. Sign in or learn about subscription options.
pp. 251-254
by
Seok-Won Seonq
,
P. Mishra
Papers
Allocation Cost Minimization for Periodic Hard Real-Time Tasks in Energy-Constrained DVS Systems
Full-text access may be available. Sign in or learn about subscription options.
pp. 255-260
by
Jian-Jia Chen
,
Tei-Wei Kuo
Papers
Application-Specific Customization of Parameterized FPGA Soft-Core Processors
Full-text access may be available. Sign in or learn about subscription options.
pp. 261-268
by
D. Sheldon
,
R. Kumar
,
R. Lysecky
,
F. Vahid
,
D. Tullsen
Papers
TP-PPV: Piecewise Nonlinear, Time-Shifted Oscillator Macromodel Extraction For Fast, Accurate PLL Simulation
Full-text access may be available. Sign in or learn about subscription options.
pp. 269-274
by
Xiaolue Lai
,
J. Roychowdhury
Papers
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets
Full-text access may be available. Sign in or learn about subscription options.
pp. 275-282
by
S. Little
,
N. Seegmiller
,
D. Walter
,
C. Myers
,
T. Yoneda
Papers
PPV-HB: Harmonic Balance for Oscillator/PLL Phase Macromodels
Full-text access may be available. Sign in or learn about subscription options.
pp. 283-288
by
Ting Mei
,
J. Roychowdhury
Papers
Loop Pipelining for High-Throughput Stream Computation Using Self-Timed Rings
Full-text access may be available. Sign in or learn about subscription options.
pp. 289-296
by
G. Gill
,
J. Hansen
,
M. Singh
Decoupling Capacitor Planning and Sizing For Noise and Leakage Reduction
Full-text access may be available. Sign in or learn about subscription options.
pp. 395-400
by
Eric Wong
,
Jacob Minz
,
Sung Kyu Lim
Papers
Thermal-Induced Leakage Power Optimization by Redundant Resource Allocation
Full-text access may be available. Sign in or learn about subscription options.
pp. 297-302
by
Min Ni
,
S.O. Memik
Papers
Guaranteeing Performance Yield in High-Level Synthesis
Full-text access may be available. Sign in or learn about subscription options.
pp. 303-309
by
W.L. Hung
,
Xiaoxia Wu
,
Yuan Xie
Papers
Information Theoretic Approach to Address Delay and Reliability in Long On-Chip Interconnects
Full-text access may be available. Sign in or learn about subscription options.
pp. 310-314
by
R. Singhal
,
Gwan Choi
,
R. Mahapatra
Papers
Analytical Modeling of SRAM Dynamic Stability
Full-text access may be available. Sign in or learn about subscription options.
pp. 315-322
by
Bin Zhang
,
A. Arapostathis
,
S. Nassif
,
M. Orshansky
Showing 100 out of 166
Load More
Load All