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