Title :
Table of contents
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;
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
DOI :
10.1109/MEMCOD.2011.5970503