Paul Molitor | Janett Mohnke Equivalence checking of digital circuits
fundamentals, principles, methods
Gedrukt boek
"Equivalence Checking of Digital Circuits is a textbook for advanced students in electrical and computer engineering, but is also intended for researchers who will find it useful as a reference text."--BOOK JACKET