DocumentCode
3591932
Title
Table of contents
fYear
2014
Firstpage
1
Lastpage
3
Abstract
The following topics are dealt with: formal model and verification; embedded system; SystemC modelling and simulation; parallel simulation and verification; parallel architectures; and power electronics.
Keywords
embedded systems; formal verification; parallel architectures; power electronics; SystemC modelling; SystemC simulation; embedded system; formal model; formal verification; parallel architectures; parallel simulation; parallel verification; power electronics;
fLanguage
English
Publisher
ieee
Conference_Titel
Specification and Design Languages (FDL), 2014 Forum on
ISSN
1636-9874
Type
conf
DOI
10.1109/FDL.2014.7119336
Filename
7119336
Link To Document