Equivalence Checking of Digital Circuits
Kluwer Academic Publishers eBooks · 2004
Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. In today's design processes it becomes more and more important. Very large s