Authors:
- Comprehensive overview of methods and tools for designing correct circuits and systems Covers all approaches used in current hardware verification techniques Structured as a textbook with introductions and summaries for every chapter and numerous examples and illustrations
- Includes supplementary material: sn.pub/extras
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 (5 chapters)
-
Front Matter
-
Back Matter
About this book
Authors and Affiliations
-
Department K8/DIC3, Robert Bosch GmbH, Reutlingen, Germany
Thomas Kropf
-
Wilhelm Schickard Institute of Computer Science, University of Tübingen, Tübingen, Germany
Thomas Kropf
Bibliographic Information
Book Title: Introduction to Formal Hardware Verification
Authors: Thomas Kropf
DOI: https://doi.org/10.1007/978-3-662-03809-3
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1999
Hardcover ISBN: 978-3-540-65445-2Published: 16 October 1999
Softcover ISBN: 978-3-642-08477-5Published: 09 December 2010
eBook ISBN: 978-3-662-03809-3Published: 09 March 2013
Edition Number: 1
Number of Pages: IX, 299
Topics: Computer Hardware, Electronics and Microelectronics, Instrumentation, Artificial Intelligence