Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods (книга)
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods | |
Автор: | Paul Molitor Janett Mohnke Bernd Conbecker Christiph Scholl |
---|---|
Оригинал издан: | ???? |
«Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods» — книга ???? года.
Содержание |
Содержание 
От издателя 
«Hardware verification is the process of checking whether a design conforms to its specification of functionality. In today's design processes it becomes more and more important. Very large scale integrated (VLSI) circuits and the resulting digital…»