The Best of ICCAD

20 Years of Excellence in Computer-Aided Design

Editors: Kuehlmann, Andreas (Ed.)

Free Preview

Buy this book

eBook $189.00
price for USA in USD (gross)
  • ISBN 978-1-4615-0292-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $289.00
price for USA in USD
  • ISBN 978-1-4020-7391-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $249.99
price for USA in USD
  • ISBN 978-1-4613-5007-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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)

Table of contents (58 chapters)
  • Formal Methods for Functional Verification

    Pages 3-15

    Bryant, Randal E. (et al.)

  • Automating the Diagnosis and the Rectification of Design Errors with PRIAM

    Pages 17-27

    Madre, Jean Christophe (et al.)

  • Functional Comparison of Logic Designs for VLSI Circuits

    Pages 29-38

    Berman, C. Leonard (et al.)

  • A Unified Framework for the Formal Verification of Sequential Circuits

    Pages 39-50

    Coudert, Olivier (et al.)

  • Dynamic Variable Ordering for Ordered Binary Decision Diagrams

    Pages 51-63

    Rudell, R.

Buy this book

eBook $189.00
price for USA in USD (gross)
  • ISBN 978-1-4615-0292-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $289.00
price for USA in USD
  • ISBN 978-1-4020-7391-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $249.99
price for USA in USD
  • ISBN 978-1-4613-5007-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

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