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
    5. C. Leonard Berman, Louise H. Trevillyan
      Pages 217-225
    6. Jagadeesh Vasudevamurthy, Janusz Rajski
      Pages 227-234
    7. Eric Lehman, Yosinori Watanabe, Joel Grodstein, Heather Harkness
      Pages 249-266
  5. Analog and Digital Circuit Design

    1. Front Matter
      Pages 267-267
    2. Ramesh Harjani, Philippe Magarshack, Gerard Mas, Rob A. Rutenbar
      Pages 269-284
    3. Ebrahim Khalily, Peter H. Decher, Darrell A. Teegarden
      Pages 285-293
    4. J. P. Fishburn, A. E. Dunlop
      Pages 295-302
    5. Chandu Visweswariah, Ronald A. Rohrer
      Pages 303-311
    6. Han Young Koh, Carlo H. Séquin, Paul R. Gray
      Pages 313-323
    7. Ramesh Harjani, Rob A. Rutenbar, L. Richard Carley
      Pages 325-336
    8. Andrew R. Conn, Paula K. Coulman, Ruud A. Haring, Gregory L. Morrill, Chandu Visweswariah
      Pages 347-364
  6. Physical Simulation and Analysis

    1. Front Matter
      Pages 365-365
    2. Kenneth S. Kundert, Jacob White
      Pages 367-381
    3. Kenneth S. Kundert, Alberto Sangiovanni-Vincentelli
      Pages 383-392
    4. M. Kamon, M. J. Tsuk, C. Smithhisler, J. White
      Pages 403-412
    5. Alper Demir, Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli
      Pages 413-432
    6. Altan Odabasioglu, Mustafa Celik, Lawrence T. Pileggi
      Pages 433-450
  7. Physical Design

    1. Front Matter
      Pages 465-465
    2. Ernest S. Kuh, Hsu Chi-Ping
      Pages 467-477
    3. Ralph H. J. M. Otten, Lukas P. P. P. van Ginneken
      Pages 479-488
    4. Thomas G. Szymanski, Christopher J. Van Wyk
      Pages 489-497
    5. Jürgen M. Kleinhans, Georg Sigl, Frank M. Johannes
      Pages 499-507
    6. Ren-Song Tsay
      Pages 509-520
    7. Honghua Hannah Yang, D. F. Wong
      Pages 521-534
    8. Hiroshi Murata, Kunihiro Fujiyoshi, Shigetoshi Nakatake, Yoji Kajitani
      Pages 535-548
  8. Timing, Test and Manufacturing

    1. Front Matter
      Pages 549-549

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
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods