دورية أكاديمية

Model-driven toolset for embedded reconfigurable cores: Flexible prototyping and software-like debugging.

التفاصيل البيبلوغرافية
العنوان: Model-driven toolset for embedded reconfigurable cores: Flexible prototyping and software-like debugging.
المؤلفون: Lagadec, Loïc1,2, Teodorov, Ciprian1,2, Le Lann, Jean-Christophe1,2, Picard, Damien, Fabiani, Erwan1,3
المصدر: Science of Computer Programming. Dec2014 Part 1, Vol. 96, p156-174. 19p.
مصطلحات موضوعية: *SMALLTALK (Computer program language), *EMBEDDED computer systems -- Programming, *DEBUGGING, *COMPUTER programming, *INTEGRATORS, *PROGRAMMING languages
مستخلص: 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). [ABSTRACT FROM AUTHOR]
قاعدة البيانات: Academic Search Index
الوصف
تدمد:01676423
DOI:10.1016/j.scico.2014.02.015