Dealing With Temporal Complexity in hardware verification

Author

Herbert, John

Author_Institution

SRI International

fYear

1991

fDate

28-30 Aug. 1991

Firstpage

Lastpage

Keywords

Circuits; Clocks; Digital systems; Hardware; Laboratories; Logic; Milling machines; Power system modeling; Propagation delay; Timing;

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

Filename

596267

Link To Document