Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (7 chapters)
Keywords
About this book
While Boolean reasoning techniques have been a central element of two-level circuit theory for many decades Reasoning in Boolean Networks describes a basic reasoning methodology for multi-level circuits. This leads to a unified view on two-level and multi-level logic synthesis. The presented reasoning techniques are applied to various CAD-problems to demonstrate their usefulness for today's industrially relevant problems.
Reasoning in Boolean Networks provides lucid descriptions of basic algorithmic concepts in automatic test pattern generation, logic synthesis and verification and elaborates their intimate relationship to provide further intuition and insight into the subject. Numerous examples are provide for ease in understanding the material.
Reasoning in Boolean Networks is intended for researchers in logic synthesis, VLSI testing and formal verification as well as for integrated circuit designers who want to enhance their understanding of basic CAD methodologies.
Authors and Affiliations
Bibliographic Information
Book Title: Reasoning in Boolean Networks
Book Subtitle: Logic Synthesis and Verification Using Testing Techniques
Authors: Wolfgang Kunz, Dominik Stoffel
Series Title: Frontiers in Electronic Testing
DOI: https://doi.org/10.1007/978-1-4757-2572-8
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag US 1997
Hardcover ISBN: 978-0-7923-9921-6Published: 30 June 1997
Softcover ISBN: 978-1-4419-5176-2Published: 07 December 2010
eBook ISBN: 978-1-4757-2572-8Published: 09 March 2013
Series ISSN: 0929-1296
Edition Number: 1
Number of Pages: XVI, 230
Topics: Computer-Aided Engineering (CAD, CAE) and Design, Electrical Engineering