DocumentCode
2409643
Title
The Practical Verification of Microprocessor Designs
Author
Windley, Phillip J.
Author_Institution
University of Idaho
fYear
1991
fDate
28-30 Aug. 1991
Firstpage
32
Lastpage
37
Keywords
Circuit faults; Computational modeling; Computer science; Design automation; Formal verification; Frequency; Hardware; Microprocessors; Registers; Very large scale integration;
fLanguage
English
Publisher
ieee
Conference_Titel
HOL Theorem Proving System and Its Applications, 1991., International Workshop on the
Conference_Location
Davis, CA, USA
Print_ISBN
0-8186-2460-4
Type
conf
DOI
10.1109/HOL.1991.596269
Filename
596269
Link To Document