An edition of Formal Verification of Circuits
(2000)
Formal Verification of Circuits
1st edition
by Rolf Drechsler
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Electronic circuits, Decision trees, TestingShowing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Formal Verification of Circuits
January 15, 2000, Springer
Hardcover
in English
- 1st edition
079237858X 9780792378587
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"Formal verification has become one of the most important steps in circuit design."
Classifications
The Physical Object
ID Numbers
Source records
amazon.com recordLibrary of Congress MARC record
Library of Congress MARC record
Better World Books record
marc_columbia MARC record
First Sentence
"Formal verification has become one of the most important steps in circuit design."
Community Reviews (0)
Feedback?
| July 28, 2020 | Edited by MARC Bot | import existing book |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| February 1, 2010 | Edited by WorkBot | add more information to works |
| December 9, 2009 | Created by WorkBot | add works page |