Title :
Table of contents
Abstract :
The following topics are dealt with: prototyping; hardware-software codesign; software model validation; hardware model validation; probabilistic systems; data flow; and communication fabrics.
Keywords :
data flow analysis; hardware-software codesign; program verification; software prototyping; communication fabrics; data flow; hardware model validation; hardware-software codesign; probabilistic systems; prototyping; software model validation;
Conference_Titel :
Formal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh IEEE/ACM International Conference on
Conference_Location :
Portland, OR
Print_ISBN :
978-1-4799-0903-2
