Applied Formal Verification
Publisher: McGraw-Hill Professional
Published: April 29, 2005
Language: eng
Number of pages: 240
ISBN-13: 9780071443722
First sentence: The number of transistors that can be contained on a silicon device continues to increase year after year.