Hardware Design Verification: Simulation and Formal Method-Based Approaches (Prentice Hall Modern Semiconductor Design Series: PH Signal Integrity Library)
Series: Prentice Hall Modern Semiconductor Design Series
Publisher: Prentice Hall PTR
Published: March 3, 2005
Language: eng
Format: Hardcover
Number of pages: 624
ISBN-13: 9780131433472
Subjects: Electronics engineering; Science/Mathematics; Digital Computer Hardware; Technology; Technology & Industrial Arts; Textbooks; Verification; Computer Engineering; Electronics - Semiconductors; Engineering - Electrical & Electronic; Technology / Electronics / Semiconductors; Electronics - Circuits - Integrated; Integrated Circuits