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