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

Saved in:
Bibliographic Details
Title: Model-driven toolset for embedded reconfigurable cores: Flexible prototyping and software-like debugging.
Authors: Lagadec, Loïc1,2, Teodorov, Ciprian1,2, Le Lann, Jean-Christophe1,2, Picard, Damien, Fabiani, Erwan1,3
Source: Science of Computer Programming. Dec2014 Part 1, Vol. 96, p156-174. 19p.
Subjects: Smalltalk (Computer program language), Embedded computer systems -- Programming, Debugging, Computer programming, Integrators, Programming languages
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). [ABSTRACT FROM AUTHOR]
Copyright of Science of Computer Programming is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 99229191
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Model-driven toolset for embedded reconfigurable cores: Flexible prototyping and software-like debugging.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Lagadec%2C+Loïc%22">Lagadec, Loïc</searchLink><relatesTo>1,2</relatesTo><br /><searchLink fieldCode="AR" term="%22Teodorov%2C+Ciprian%22">Teodorov, Ciprian</searchLink><relatesTo>1,2</relatesTo><br /><searchLink fieldCode="AR" term="%22Le+Lann%2C+Jean-Christophe%22">Le Lann, Jean-Christophe</searchLink><relatesTo>1,2</relatesTo><br /><searchLink fieldCode="AR" term="%22Picard%2C+Damien%22">Picard, Damien</searchLink><br /><searchLink fieldCode="AR" term="%22Fabiani%2C+Erwan%22">Fabiani, Erwan</searchLink><relatesTo>1,3</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Science+of+Computer+Programming%22">Science of Computer Programming</searchLink>. Dec2014 Part 1, Vol. 96, p156-174. 19p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Smalltalk+%28Computer+program+language%29%22">Smalltalk (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Embedded+computer+systems+--+Programming%22">Embedded computer systems -- Programming</searchLink><br /><searchLink fieldCode="DE" term="%22Debugging%22">Debugging</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programming%22">Computer programming</searchLink><br /><searchLink fieldCode="DE" term="%22Integrators%22">Integrators</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: 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]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Science of Computer Programming is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=99229191
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1016/j.scico.2014.02.015
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 19
        StartPage: 156
    Subjects:
      – SubjectFull: Smalltalk (Computer program language)
        Type: general
      – SubjectFull: Embedded computer systems -- Programming
        Type: general
      – SubjectFull: Debugging
        Type: general
      – SubjectFull: Computer programming
        Type: general
      – SubjectFull: Integrators
        Type: general
      – SubjectFull: Programming languages
        Type: general
    Titles:
      – TitleFull: Model-driven toolset for embedded reconfigurable cores: Flexible prototyping and software-like debugging.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Lagadec, Loïc
      – PersonEntity:
          Name:
            NameFull: Teodorov, Ciprian
      – PersonEntity:
          Name:
            NameFull: Le Lann, Jean-Christophe
      – PersonEntity:
          Name:
            NameFull: Picard, Damien
      – PersonEntity:
          Name:
            NameFull: Fabiani, Erwan
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 15
              M: 12
              Text: Dec2014 Part 1
              Type: published
              Y: 2014
          Identifiers:
            – Type: issn-print
              Value: 01676423
          Numbering:
            – Type: volume
              Value: 96
          Titles:
            – TitleFull: Science of Computer Programming
              Type: main
ResultId 1