Hardback
Add to list Added to list Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods
Paul Molitor,Janett Mohnke
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…
Available to order, ships in 7-14 daysAvailable to order