© 2002

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

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

Industry Sectors
Chemical Manufacturing
IT & Software
Energy, Utilities & Environment
Oil, Gas & Geosciences