The Best of ICCAD
20 Years of Excellence in Computer-Aided Design
Editors: Kuehlmann, Andreas (Ed.)
Free PreviewBuy this book
- About this book
-
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).
- Table of contents (58 chapters)
-
-
Formal Methods for Functional Verification
Pages 3-15
-
Automating the Diagnosis and the Rectification of Design Errors with PRIAM
Pages 17-27
-
Functional Comparison of Logic Designs for VLSI Circuits
Pages 29-38
-
A Unified Framework for the Formal Verification of Sequential Circuits
Pages 39-50
-
Dynamic Variable Ordering for Ordered Binary Decision Diagrams
Pages 51-63
-
Table of contents (58 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- The Best of ICCAD
- Book Subtitle
- 20 Years of Excellence in Computer-Aided Design
- Editors
-
- Andreas Kuehlmann
- Copyright
- 2003
- Publisher
- Springer US
- Copyright Holder
- Springer Science+Business Media New York
- eBook ISBN
- 978-1-4615-0292-0
- DOI
- 10.1007/978-1-4615-0292-0
- Hardcover ISBN
- 978-1-4020-7391-5
- Softcover ISBN
- 978-1-4613-5007-1
- Edition Number
- 1
- Number of Pages
- XVII, 714
- Topics