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 (10 chapters)
-
Front Matter
-
Equivalence Checking of Combinational Circuits
-
Equivalence Checking of Sequential Circuits
-
Back Matter
About this book
Authors and Affiliations
-
Martin-luther-University Halle-Wittenberg, Germany
Paul Molitor
-
DResearch Digital Media Systems GmbH, Germany
Janett Mohnke
-
University Freiburg, Germany
Bernd Becker
-
University Heidelberg, Germany
Christoph Scholl
Bibliographic Information
Book Title: Equivalence Checking of Digital Circuits
Book Subtitle: Fundamentals, Principles, Methods
Authors: Paul Molitor, Janett Mohnke, Bernd Becker, Christoph Scholl
DOI: https://doi.org/10.1007/b105298
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 2004
Hardcover ISBN: 978-1-4020-7725-8Published: 31 January 2004
Softcover ISBN: 978-1-4419-5423-7Published: 07 December 2010
eBook ISBN: 978-1-4020-2603-4Published: 08 May 2007
Edition Number: 1
Number of Pages: XIII, 263
Topics: Electronics and Microelectronics, Instrumentation, Circuits and Systems, Electrical Engineering, Artificial Intelligence, Computer-Aided Engineering (CAD, CAE) and Design