Table of contents

  1. Front Matter
  2. Yirng-An Chen, Edmund Clarke, Pei-Hsin Ho, Yatin Hoskote, Timothy Kam, Manpreet Khaira et al.
    Pages 19-33
  3. Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi
    Pages 49-63
  4. Paul S. Miner, James F. Leathrum Jr.
    Pages 64-78
  5. Francisco J. Cantu, Alan Bundy, Alan Smaill, David Basin
    Pages 94-108
  6. Alok Jain, Kyle Nelson, Randal E. Bryant
    Pages 109-125
  7. Daniel Lewin, Dean Lorenz, Shmuel Ur
    Pages 126-142
  8. Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal
    Pages 143-158
  9. Robert B. Jones, Carl-Johan H. Seger, David L. Dill
    Pages 159-171
  10. Clark Barrett, David Dill, Jeremy Levitt
    Pages 187-201
  11. Ramin Hojati, Adrian Isles, Desmond Kirkpatrick, Robert K. Brayton
    Pages 218-232
  12. Z. Zhou, X. Song, S. Tahar, E. Cerny, F. Corella, M. Langevin
    Pages 233-247
  13. VIS
    Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng et al.
    Pages 248-256
  14. John Harrison
    Pages 265-269

About these proceedings


This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996.
The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing.


Circuit Design Computer-Aided Design Computer-Aided Verification Formal Methods Formal Spezification Formale Methoden Formale Spezifikation computer-aided design (CAD) formal method verification

Bibliographic information

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