DocumentCode
646954
Title
Table of contents
fYear
2013
fDate
18-20 Oct. 2013
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;
fLanguage
English
Publisher
ieee
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
Type
conf
Filename
6670932
Link To Document