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
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2172985
بازگشت