Title :
Table of contents
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;
Conference_Titel :
Specification and Design Languages (FDL), 2014 Forum on
DOI :
10.1109/FDL.2014.7119336
