Applied Formal Verification
Edition: 1 edition
Publisher: McGraw-Hill Professional
Published: April 29, 2005
Language: eng
Format: Hardcover
Number of pages: 240
ISBN-13: 9780071443722
Subjects: Circuits & components; Technology; Engineering - Electrical & Electronic; Technology & Industrial Arts; Science/Mathematics; Verification; Electronics - Digital; Technology / Electronics / Circuits / Integrated; Electronic circuits; Integrated circuits; Testing
First sentence: The number of transistors that can be contained on a silicon device continues to increase year after year.