DocumentCode
2215174
Title
Automatic formal verification of dsp software
Author
David, Tomas ; Currie, David W. ; Hu, Alan J. ; Rajan, Sreeraman
Author_Institution
Mentor Graphics
fYear
2000
fDate
2000
Firstpage
130
Lastpage
135
Keywords
Analytical models; Application software; Assembly; Computer graphics; Computer science; Digital signal processing; Digital signal processors; Formal verification; Laboratories; Permission;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 2000. Proceedings 2000
Print_ISBN
1-58113-187-9
Type
conf
DOI
10.1109/DAC.2000.855291
Filename
855291
Link To Document