Title :
Formal Hardware Verification In Hol And In Boyer-moore: A Comparative Analysis
Author :
Angelo, C.M. ; Verkest, D. ; Claesen, L. ; De Man, H.
Author_Institution :
IMEC
Keywords :
Circuits; Concurrent computing; Hardware; Libraries; Logic; Silicon compiler; Structural engineering;
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.596298
