Formal Methods in Computer-Aided Design

4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings

  • Mark D. Aagaard
  • John W. O’Leary
Conference proceedings FMCAD 2002

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2517)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Abstraction

    1. Thomas F. Melham, Robert B. Jones
      Pages 1-18
    2. Pankaj Chauhan, Edmund Clarke, James Kukula, Samir Sapra, Helmut Veith, Dong Wang
      Pages 33-51
  3. Symbolic Simulation

    1. In-Ho Moon, Hee Hwan Kwak, James Kukula, Thomas Shiple, Carl Pixley
      Pages 52-69
  4. Model Checking: Strongly-Connected Components

    1. Fabio Somenzi, Kavita Ravi, Roderick Bloem
      Pages 88-105
    2. Chao Wang, Gary D. Hachtel
      Pages 106-122
  5. Microprocessor Specification and Verification

    1. Mark D. Aagaard, Nancy A. Day, Meng Lou
      Pages 123-141
    2. Shuvendu K. Lahiri, Sanjit A. Seshia, Randal E. Bryant
      Pages 142-159
  6. Decision Procedures

  7. Model Checking: Reachability Analysis

    1. Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
      Pages 202-219
    2. Marc Solé, Enric Pastor
      Pages 220-237
  8. Model Checking: Fixed Points

    1. Alan Frisch, Daniel Sheridan, Toby Walsh
      Pages 238-255
    2. Gianfranco Ciardo, Radu Siminiceanu
      Pages 256-273
  9. Verification Techniques and Methodology

  10. Hardware Description Languages

  11. Prototyping and Synthesis

    1. Josep Carmona, Jordi Cortadella
      Pages 360-377
    2. David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli
      Pages 378-398
  12. Back Matter
    Pages 399-399

About these proceedings


This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.


Circuit Design Computer-Aided Design (CAD) Design Automation Erfüllbarkeitsproblem der Aussagenlogik Formal Methods Formal Specification Hardware Hardware Design Mathematical Modeling Model Checking Simulation algorithms formal method microprocessor modeling

Editors and affiliations

  • Mark D. Aagaard
    • 1
  • John W. O’Leary
    • 2
  1. 1.Department of Electrical and Computer EngineeringUniversity of WaterlooWaterlooCanada
  2. 2.Strategic CAD LabsIntel CorporationHillsboroUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00116-4
  • Online ISBN 978-3-540-36126-8
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Energy, Utilities & Environment
Oil, Gas & Geosciences