Authors:
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (9 chapters)
-
Front Matter
-
Back Matter
About this book
Formal Verification of Circuits is devoted to the discussion of recent developments in the field of decision diagram-based formal verification. Firstly, different types of decision diagrams (including WLDDs) are introduced and theoretical properties are discussed that give further insight into the data structure. Secondly, implementation and minimization concepts are presented. Applications to arithmetic circuit verification and verification of designs specified by hardware description languages are described to show how WLDDs work in practice.
Formal Verification of Circuits is intended for CAD developers and researchers as well as designers using modern verification tools. It will help people working with formal verification (in industry or academia) to keep informed about recent developments in this area.
Reviews
From the reviews:
"This monograph addresses the problem of formal verification for circuits using as a conceptual tool the Word-Level Decision Diagrams (WLDDs). … The book offers a concise discussion of the field of WLDD-based formal verification of circuits. … The book is written in a clear style and represents an easy-to-read introduction into the area of word-level decision diagrams." (Marius Zimand, Zentralblatt MATH, Vol. 1062 (13), 2005)
Authors and Affiliations
-
Albert-Ludwigs-University, Freiburg, Germany
Rolf Drechsler
Bibliographic Information
Book Title: Formal Verification of Circuits
Authors: Rolf Drechsler
DOI: https://doi.org/10.1007/978-1-4757-3184-2
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 2000
Hardcover ISBN: 978-0-7923-7858-7Published: 30 June 2000
Softcover ISBN: 978-1-4419-4985-1Published: 02 December 2010
eBook ISBN: 978-1-4757-3184-2Published: 09 March 2013
Edition Number: 1
Number of Pages: X, 179
Topics: Artificial Intelligence, Computer-Aided Engineering (CAD, CAE) and Design, Electrical Engineering, Computer Hardware