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

fYear

1991

fDate

28-30 Aug. 1991

Firstpage

340

Lastpage

347

Keywords

Circuits; Concurrent computing; Hardware; Libraries; Logic; Silicon compiler; Structural engineering;

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

DOI

10.1109/HOL.1991.596298

Filename

596298

Link To Document