
Tell your friends about this item:
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods 2004 edition
Paul Molitor
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods 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 Hardcover Book (Book with hard spine and cover) |
Released | January 31, 2004 |
ISBN13 | 9781402077258 |
Publishers | Springer-Verlag New York Inc. |
Pages | 263 |
Dimensions | 155 × 235 × 17 mm · 580 g |
Language | English |