
Tell your friends about this item:
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods Softcover reprint of the original 1st ed. 2004 edition
Paul Molitor
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods Softcover reprint of the original 1st ed. 2004 edition
Paul Molitor
Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. Thus, it is desirable to detect design errors early in the design process and not just after producing the prototype chip.
263 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | December 7, 2010 |
ISBN13 | 9781441954237 |
Publishers | Springer-Verlag New York Inc. |
Pages | 263 |
Dimensions | 155 × 235 × 14 mm · 394 g |