The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design

כריכה קדמית
Andreas Kuehlmann
Springer Science & Business Media, 6 בדצמ׳ 2012 - 714 עמודים
In 2002, the International Conference on Computer Aided Design (ICCAD) celebrates its 20th anniversary. This book commemorates contributions made by ICCAD to the broad field of design automation during that time. The foundation of ICCAD in 1982 coincided with the growth of Large Scale Integration. The sharply increased functionality of board-level circuits led to a major demand for more powerful Electronic Design Automation (EDA) tools. At the same time, LSI grew quickly and advanced circuit integration became widely avail able. This, in turn, required new tools, using sophisticated modeling, analysis and optimization algorithms in order to manage the evermore complex design processes. Not surprisingly, during the same period, a number of start-up com panies began to commercialize EDA solutions, complementing various existing in-house efforts. The overall increased interest in Design Automation (DA) re quired a new forum for the emerging community of EDA professionals; one which would be focused on the publication of high-quality research results and provide a structure for the exchange of ideas on a broad scale. Many of the original ICCAD volunteers were also members of CANDE (Computer-Aided Network Design), a workshop of the IEEE Circuits and Sys tem Society. In fact, it was at a CANDE workshop that Bill McCalla suggested the creation of a conference for the EDA professional. (Bill later developed the name).
 

תוכן

Randal E Bryant and James H Kukula
14
Jean Christophe Madre Olivier Coudert and Jean Paul Billon
29
A Unified Framework for the Formal Verification of Sequential Circuits
39
Olivier Coudert and Jean Christophe Madre
51
Verification of Large Synthesized Designs 65
64
GRASPA New Search Algorithm for Satisfiability
73
System Design and Analysis
90
An Efficient MicrocodeCompiler for Custom DSPProcessors
107
Physical Simulation and Analysis
365
Nonlinear Simulation in the FrequencyDomain 383
374
Modeling the DrivingPoint Characteristic of Resistive Interconnect
393
Efficient Techniques for Inductance Extraction of Complex
403
TimeDomain NonMonte Carlo Noise Simulation for Nonlinear Dynamic
413
Passive ReducedOrder Interconnect Macromodeling Algorithm
433
Physical Design
465
Floorplan Design Using Annealing 479
478

Transformations
117
First Step Towards Software
129
A Methodology for CorrectbyConstruction Latency Insensitive Design
143
Exploring Performance Tradeoffs for Clustered VLIW ASIPS
159
Logic Synthesis
178
R Brayton E Detjens N Phillips S Krishna T Ma P McGeer
190
Exact Minimization of MultipleValued Functions for PLA Optimization
205
Improved Logic Optimization Using GlobalFlow Analysis
217
A Method for Concurrent Decomposition and Factorization of Boolean
226
An Optimal Technology Mapping Algorithm for Delay Optimization
235
Logic Decomposition during Technology Mapping
249
Analog and Digital Circuit Design
267
An Interactive Device Characterization and Model Development System
285
A Posynomial Programming Approach to Transistor Sizing 295
294
An Integrated Circuit Timing Simulator
303
Automatic Synthesis of Operational Amplifiers based on Analytic
313
Analog Circuit Synthesis for Performance in OASYS 325
324
Extraction of GateLevel Models from Transistor Circuits
337
Optimization of Custom MOS Circuits by Transistor Sizing
347
A SpaceEfficient System for VLSI Artwork Analysis
489
A New Global Optimization Rectangle Dissection
499
Exact Zero Skew 509
508
Efficient Network Flow Based MinCut Balanced Partitioning
521
Honghua Hannah Yang and D F Wong
535
Timing Test and Manufacturing
549
Karem A Sakallah Duncan M Hank Walker and Sani R Nassif
563
On the Design of Robust Multiple Fault Testable CMOS
575
Circuit Optimization Driven by WorstCase Distances
585
Industry Viewpoints
631
ICCAD and Fujitsu
639
ICCADs Impact in IBM
645
Magma and ICCAD
653
NEC and ICCAD EDA partners in success
663
The Strong Mutual Impact between Philips Research and the ICCAD
675
Contributions from the Best of ICCAD to Synopsys 683
682
Index
696
Author Index
705
זכויות יוצרים

מהדורות אחרות - הצג הכל

מונחים וביטויים נפוצים

מידע ביבליוגרפי