DocumentCode :
2567947
Title :
Symbolic Timing Verification Of Timing Diagrams Using Presburger Formulas
Author :
Amon, Tod ; Borriello, Gaetano ; Hu, Taokuan ; Liu, Jiwen
Author_Institution :
Department of Computer Science, Southwest Texas State University
fYear :
1997
fDate :
9-13 June 1997
Firstpage :
226
Lastpage :
231
Keywords :
Boolean functions; Circuits; Computer science; Data structures; Delay; Design automation; Performance evaluation; Permission; Space exploration; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference, 1997. Proceedings of the 34th
Conference_Location :
Anaheim, CA, USA
ISSN :
0738-100X
Print_ISBN :
0-7803-4093-0
Type :
conf
DOI :
10.1109/DAC.1997.597148
Filename :
597148
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2567947
بازگشت