A high-level methodology for automatically generating dynamically reconfigurable systems using IP-XACT and the UML MARTE profile
Texte intégral
Documents relatifs
Additionally, as Kactus2 is developed for SoC design, the expression editor contained within it does not need very complex mathematical functions..
Firstly, we generate the code for a dynamically reconfigurable region, which relates to a high level application model, translated into a hardware functionality, e.g., a
This methodology permits us to model fine grain reconfigurable architectures such as FPGAs and allows to extend the standard for integrating new features such as Partial
We perform model transformations from the Xilinx MPD files to obtain our IP-XACT library; the components in the library, as described in Section 4.1, contain a
The proposed extensions, for Valk’s proposal, have tried to introduce reconfigurability in the structure of the object nets through two basic mechanisms: graph transformation
This library contains IP-XACT descriptions used for several purposes; the specification has become a de-facto standard for promoting IP reuse in the EDA industry, and we exploit
(MARTE) [4]. UML/MARTE models are used not only for communication purposes but, using model transformations, to produce concrete results such as a source code. For this
As shown in Figure 2, these contracts are compiled into B-LTL formulas that are verified against the SoS (whose constituent systems are compiled into FMI executables) using