DocumentCode :
2819447
Title :
[Copyright notice]
fYear :
2010
fDate :
10-12 June 2010
Firstpage :
1
Lastpage :
1
Abstract :
The following topics are dealt with: high level design validation; formal methods; transaction level modelling; and HW-dependent software validation.
Keywords :
formal verification; high level synthesis; formal method; hardware-dependent software validation; high level design validation; transaction level modelling;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
High Level Design Validation and Test Workshop (HLDVT), 2010 IEEE International
Conference_Location :
Anaheim, FL
ISSN :
1552-6674
Print_ISBN :
978-1-4244-7805-7
Type :
conf
DOI :
10.1109/HLDVT.2010.5496671
Filename :
5496671
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2819447
بازگشت