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
  15. Bhaskar Bose, M. Esen Tuna, Venkatesh Choppella
    Pages 270-274
  16. Bishop Brock, Matt Kaufmann, J Strother Moore
    Pages 275-293
  17. Ramayya Kumar, Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid
    Pages 294-309
  18. Mark Bickford, Damir Jamsek
    Pages 310-326
  19. Anthony C. J. Fox, Neal A. Harman
    Pages 346-361
  20. Phillip J. Windley, Jerry R. Burch
    Pages 362-376
  21. Jeffrey X. Su, David L. Dill, Clark W. Barrett
    Pages 377-388
  22. Ellen M. Sentovich
    Pages 389-403
  23. Jawahar Jain, Amit Narayan, A. Sangiovanni-Vincentelli, C. Coelho, R. K. Brayton, Sunil P. Khatri et al.
    Pages 419-434
  24. Tomohiro Yoneda, Hideyuki Hatori, Atsushi Takahara, Shin-ichi Minato
    Pages 435-449
  25. D. Borrione, H. Bouamama, D. Deharbe, C. Le Faou, A. Wahba
    Pages 450-467
  26. Back Matter

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61937-6
  • Online ISBN 978-3-540-49567-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site