MOUSSE: Scaling MOdelling and Verification to Complex HeterogeneoUS Embedded Systems Evolution

Provided by: European Design and Automation Association
Topic: Hardware
Format: PDF
The heterogeneity of modern Heterogeneous Embedded Systems (HES) implies different modeling languages, design strategies and optimization methods. Thus, the design of HES cannot be based on a top-down coherent design methodology producing correct-by-construction implementations, but it must be based on the aggregation of pre-designed components through massive reuse of heterogeneous IPs. This paper proposes an advanced methodology based on an open source virtual prototyping framework for verification of complex Heterogeneous Embedded Systems (HES). It supports early rapid modeling of complex HES through smooth refinements, an open interface based on IP-XACT extensions for secure composition of HES components, and automatic test bench generation over different abstraction levels.

Find By Topic