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.
MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution / M., Becker; G. B., Gnokam Defo; W., Mueller; F., Fummi; G., Pravadelli; Vinco, Sara. - (2012), pp. 296-299. (Intervento presentato al convegno ACM/IEEE Design, Automation and Test in Europe (DATE) tenutosi a Dresden, Germany nel 12-16 March) [10.1109/DATE.2012.6176482].
MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution
VINCO, SARA
2012
Abstract
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.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11583/2529502
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo