%0 Journal Article
%T Model-Driven Toolset for Embedded Reconfigurable Cores: Flexible Prototyping and Software-like Debugging
%+ Lab-STICC_ENSTAB_CACS_MOCS
%+ IDM
%+ Lab-STICC_UBO_CACS_MOCS
%A Lagadec, Loic
%A Teodorov, Ciprian
%A Le Lann, Jean-Christophe
%A Picard, Damien
%A Fabiani, Erwan
%< avec comité de lecture
%@ 0167-6423
%J Science of Computer Programming
%I Elsevier
%P 1
%8 2014-03-04
%D 2014
%R 10.1016/j.scico.2014.02.015
%Z Computer Science [cs]/Computation and Language [cs.CL]
%Z Computer Science [cs]/Embedded SystemsJournal articles
%X 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).
%G English
%L hal-00998533
%U https://hal.univ-brest.fr/hal-00998533
%~ UNIV-BREST
%~ INSTITUT-TELECOM
%~ ENSTA-BRETAGNE
%~ CNRS
%~ UNIV-UBS
%~ ENSTA-BRETAGNE-STIC
%~ LAB-STICC_UBO_CACS
%~ LAB-STICC_UBO
%~ ENIB
%~ LAB-STICC_ENIB
%~ LAB-STICC
%~ IBNM
%~ INSTITUTS-TELECOM