European Design and Automation Association
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.