The Best of ICCAD

20 Years of Excellence in Computer-Aided Design

  • Andreas Kuehlmann

Table of contents

  1. Front Matter
    Pages i-xvii
  2. Functional Verification

    1. Front Matter
      Pages 1-1
    2. Randal E. Bryant, James H. Kukula
      Pages 3-15
    3. Jean Christophe Madre, Olivier Coudert, Jean Paul Billon
      Pages 17-27
    4. C. Leonard Berman, Louise H. Trevillyan
      Pages 29-38
    5. Olivier Coudert, Jean Christophe Madre
      Pages 39-50
    6. João P. Marques Silva, Karem A. Sakallah
      Pages 73-89
  3. System Design and Analysis

    1. Front Matter
      Pages 91-91
    2. Hugo De Man, Jan Rabaey
      Pages 93-106
    3. Gert Goossens, Jan Rabaey, Joos Vandewalle, Hugo De Man
      Pages 107-116
    4. Anantha P. Chandrakasan, Miodrag Potkonjak, Jan Rabaey, Robert W. Brodersen
      Pages 117-127
    5. Vivek Tiwari, Sharad Malik, Andrew Wolfe
      Pages 129-142
    6. Luca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli
      Pages 143-158
    7. Margarida F. Jacome, Gustavo de Veciana, Viktor Lapinskii
      Pages 159-177
  4. Logic Synthesis

    1. Front Matter
      Pages 179-179
    2. Robert K. Brayton, John A. Darringer
      Pages 181-189
    3. R. Brayton, E. Detjens, N. Phillips, S. Krishna, T. Ma, P. McGeer et al.
      Pages 191-203
    4. R. Rudell, A. Sangiovanni-Vincentelli
      Pages 205-216

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).


CMOS FPGA FPGA design Field Programmable Gate Array Transistor VLSI algorithms circuit design construction digital signal processor formal method modeling optimization simulation static-induction transistor

Editors and affiliations

  • Andreas Kuehlmann
    • 1
  1. 1.Cadence Berkeley LabsBerkeleyUSA

Bibliographic information

  • DOI
  • Copyright Information Springer Science+Business Media New York 2003
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4613-5007-1
  • Online ISBN 978-1-4615-0292-0
  • About this book
Industry Sectors