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