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 :
بازگشت