DocumentCode :
2549865
Title :
Table of contents
fYear :
2011
fDate :
11-13 July 2011
Abstract :
The following topics are dealt with: software-hardware systems; refinement techniques; transformation techniques; verification problems; simulation techniques; assertion-based validation; testing and debug.
Keywords :
formal verification; hardware-software codesign; program debugging; program testing; assertion-based validation; debug; simulation techniques; software-hardware systems; testing; transformation techniques; verification problems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Formal Methods and Models for Codesign (MEMOCODE), 2011 9th IEEE/ACM International Conference on
Conference_Location :
Cambridge
Print_ISBN :
978-1-4577-0117-7
Type :
conf
DOI :
10.1109/MEMCOD.2011.5970503
Filename :
5970503
Link To Document :
بازگشت