Title :
First Steps Towards Automating Hardware Proofs In HOL
Author :
Kumar, Ramayya ; Kropf, Thomas ; Schneider, Klaus
Author_Institution :
University of Karlsruhe
Keywords :
Circuits; Design automation; Fault tolerance; Formal specifications; Hardware; Logic; Mirrors;
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
DOI :
10.1109/HOL.1991.596286
