ENGLISH

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

By Ganesh Gopalakrishnan , Kenneth L. McMillan (auth.) , Phillip Windley (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1998
ISBN
3540651918, 9783540651918
DOI
10.1007/3-540-49519-3
LCC
TK7874.65 .F53 1998
Open Library ID
OL384187M
Language
english
Format
PDF
Filesize
4 MB (4337770 bytes)
Series
Lecture Notes in Computer Science 1522
Edition
1
Pages
538\536
Library
Kolxo3
Time added
2011-01-08 23:22:23
Computer Hardware; Logics and Meanings of Programs

Description

This book constitutes the refereed proceedings of the Second International Conference on Formal Methods in Computer-Aided Design, FMCAD '98, held in Palo Alto, California, USA, in November 1998. The 27 revised full papers presented were carefully reviewed and selected from a total of 55 submissions. Also included are four tools papers and four invited contributions. The papers present the state of the art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software. From the methodological point of view, binary decision diagrams, model checking, symbolic reasoning, symbolic simulation, and abstraction methods are covered.

Similar books