A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution
2012
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)
This work proposes an advanced methodology based on an open source virtual prototyping framework for verification of complex Heterogeneous Embedded Systems (HES). It supports early rapid modelling of complex HES through smooth refinements, an open interface based on IP-XACT extensions for secure composition of HES components, and automatic testbench generation over different abstraction levels.
doi:10.1109/date.2012.6176482
dblp:conf/date/BeckerDFMPV12
fatcat:ehp4n5fhkfce7nzhu5eooi6bpu