The Best of ICCAD: 20 Years of Excellence in Computer-Aided DesignAndreas 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). |
תוכן
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 |
696 | |
705 | |
מהדורות אחרות - הצג הכל
The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design <span dir=ltr>Andreas Kuehlmann</span> אין תצוגה מקדימה זמינה - 2012 |
מונחים וביטויים נפוצים
algorithm analog analog circuit AND2/INV applied approach approximation BDDs Binary Decision Diagrams Boolean functions Brayton capacitance chip circuit simulator Circuits and Systems clock period cluster CMOS complex Computer-Aided Design constraints cycle datapath decomposition delay faults Design Automation Conference device edges efficient equations equivalent example Figure flicker noise floorplan FPGA gate graph heuristic ICCAD IEEE IEEE Trans IEEE Transactions implementation input Integrated Circuits interconnect International Conference iteration Jiffy Tune latches latency layout linear logic synthesis matrix method min-cut minimization module node noise simulation noise sources nonlinear OBDD operations optimization output Padé approximation paper parameters partitioning path delay performance placement problem Proc procedure reduced retiming Sangiovanni-Vincentelli scheduling signal solution solve techniques technology mapping testable Theorem tion transformations transistor variable ordering vector verification VLIW VLSI voltage Xnoise