DocumentCode

2172985

Title

CLOVER: a timing constraints verification system

Author

Doukas, Dimitris ; LaPaugh, Andrea S.

Author_Institution

Princeton University

fYear

1991

fDate

21-21 June 1991

Firstpage

662

Lastpage

667

Keywords

Clocks; Computer science; Design automation; Digital circuits; Logic gates; Permission; Signal design; Specification languages; Synchronization; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Design Automation Conference, 1991. 28th ACM/IEEE

Conference_Location

IEEE

Print_ISBN

0-89791-395-7

Type

conf

Filename

979796