مرکز منطقه ای اطلاع رساني علوم و فناوري - Verifying Arithmetic Hardware In Higher-order Logic

DocumentCode :

2409442

Title :

Verifying Arithmetic Hardware In Higher-order Logic

Author :

Chin, Shiu-Kai

Author_Institution :

Syracuse University

fYear :

1991

fDate :

28-30 Aug. 1991

Firstpage :

Lastpage :

Keywords :

Arithmetic; Books; Circuits; Costs; Design automation; Hardware; Logic; Software algorithms; Testing; Very large scale integration;

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

Filename :

596268

Link To Document :