DocumentCode

2410641

Title

Learning To Use HOL

Author

Loewenstein, Paul

Author_Institution

Mitsubishi Electronics America Inc.

fYear

1991

fDate

28-30 Aug. 1991

Firstpage

67

Lastpage

74

Keywords

Combinational circuits; Error correction; Hardware; Inverters; Logic; Sequential circuits; Signal design; Signal processing; Virtual prototyping;

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.596274

Filename

596274