مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

2410641

Title :

Learning To Use HOL

Author :

Loewenstein, Paul

Author_Institution :

Mitsubishi Electronics America Inc.

fYear :

1991

fDate :

28-30 Aug. 1991

Firstpage :

Lastpage :

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

Link To Document :