Formal Methods in Computer-Aided Design: Second Internaitonal Conference, Fmcad '98 Palo Alto, Ca, Usa, November 4-6, 1998 : Proceedings
Formal Methods in Computer-Aided Design: Second Internaitonal Conference, Fmcad '98 Palo Alto, Ca, Usa, November 4-6, 1998 : Proceedings (Lecture Notes in Computer Science, 1522) Ganesh Gopalakrishnan, Phillip Windley,
Publisher: Springer-Verlag Telos
ISBN: 3540651918
Edition: Paperback; 1998-12-01
Summary:
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.
Click on a subject to see other books listed with the same
subject or to drill down into components of the subject -- such as
geographical locations, dates and so on.
We query many merchants so that you can instantly
compare prices and
availability. You can even check historic prices and subscribe
for notifications. For a manual check, clicking on a link will open a
new window with a search for this book on the merchant's site of your
choice.
