Model-Driven Toolset for Embedded Reconfigurable Cores: Flexible Prototyping and Software-like Debugging

Loic Lagadec 1 Ciprian Teodorov 2 Jean-Christophe Le Lann 1 Damien Picard Erwan Fabiani 3
1 Lab-STICC_ENSTAB_CACS_MOCS;IDM
STIC - Pôle STIC [Brest], Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
2 IDM
STIC - Pôle STIC [Brest], Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
3 Lab-STICC_UBO_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, UBO - Université de Brest
Abstract : Improvements in system cost, size, performance, power dissipation, and design turnaround time are the key benefits offered by System-on-Chip designs. However they come at the cost of an increased complexity and long development cycles. Integrating reconfigurable cores offers a way to increase their flexibility and lifespan. However the integration of embedded reconfigurable units poses a number of unique challenges in terms of design-space exploration and system exploitation. Over the last few years, model-driven engineering has become one of the most promising methodologies for tackling such challenging software problems. This paper presents Biniou, a model-driven toolset for embedded reconfigurable core modeling. Biniou is a major step ahead of the Madeo framework that was one of the rare non-commercial environments targeting reconfigurable design automation. In Biniou, the design space is broadened with (re-)configuration modeling aspects, and the exploitation tools are enhanced through the use of multi-level simulation and high-level debugging. These advancements are illustrated through a case-study focused on the design-space exploration of a coarse-grained reconfigurable architecture and through an examination of the integration of the debug- specific features into the framework. The main benefits of the presented toolset are: efficient domain-space exploration (validation), software design-kit generation (usability), software-like debug facilities (verification).
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2014, pp.1. 〈10.1016/j.scico.2014.02.015〉
Liste complète des métadonnées

http://hal.univ-brest.fr/hal-00998533
Contributeur : Loic Lagadec <>
Soumis le : lundi 2 juin 2014 - 12:07:57
Dernière modification le : mardi 16 janvier 2018 - 15:54:26

Identifiants

Citation

Loic Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Damien Picard, Erwan Fabiani. Model-Driven Toolset for Embedded Reconfigurable Cores: Flexible Prototyping and Software-like Debugging. Science of Computer Programming, Elsevier, 2014, pp.1. 〈10.1016/j.scico.2014.02.015〉. 〈hal-00998533〉

Partager

Métriques

Consultations de la notice

288