Equivalence Checking of Digital Circuits
Subtitle: Fundamentals, Principles, Methods
Edition: 1 edition
Publisher: Springer
Published: January 31, 2004
Language: eng
Format: Hardcover
Number of pages: 265
ISBN-13: 9781402077258
Subjects: Electronics engineering; Technology; Electronics - Circuits - General; Technology & Industrial Arts; Science/Mathematics; Computer Science; Engineering - Electrical & Electronic; Technology / Electronics / Circuits / General; Digital electronics; Testing
First sentence: Hardware verification is the process of checking whether a design conforms to its specifications of functionality and timing.