EPICURE: A partitioning and co-design framework for reconfigurable computing

Jean-Philippe Diguet 1 Guy Gogniat 2 Jean Luc Philippe 2 Yannick Le Moullec 3 Sébastien Bilavarn 4 Christian Gamrat 5 Karim Ben Chehida 6 Michel Auguin 6 Xavier Fornari 7 Philippe Kajfasz 8
1 Lab-STICC_UBS_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
2 LESTER - Laboratoire d'Electronique des Systèmes TEmps Réel
3 CISS - Center for Indlejrede Software Systemer
4 EPFL - Ecole Polytechnique Fédérale de Lausanne
5 LCEI - Laboratoire Calculateurs Embarqués et Image
LIST - Laboratoire d'Intégration des Systèmes et des Technologies : DRT/LIST
6 I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
7 ESTEREL TECHNOLOGIES - Esterel Technologies
8 THALES, Land & Joint Systems, EDS/DHD
Abstract : This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous reconfigurable architecture. The EPICURE contribution is the result of a joint study on abstraction/refinement methods and a smart reconfigurable architecture within the formal Esterel design tools suite. The original points of this work are: (i) a generic HW/SW interface model, (ii) a specification methodology that handles the control, and includes efficient verification and HW/SW synthesis capabilities, (iii) a method for parallelism exploration based on abstract resources/performance estimation expressed in terms of area/delay tradeoffs, (iv) a HW/SW partitioning approach that refines the specification into explicit HW configurations and the associated SW control. The EPICURE framework shows how a cooperation of complementary methodologies and CAD tools associated with a relevant architecture can signficantly improve the designer productivity, especially in the context of reconfigurable architectures.
Keywords : Smart HW/SW interface Formal programming model Design space exploration Reconfigurable computing Hardware/software partitioning Parallelism exhibition and functional estimation Design productivity
Type de document :
Article dans une revue
Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2006, 30, pp.367-387. 〈10.1016/j.micpro.2006.02.015〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger
https://hal.archives-ouvertes.fr/hal-00089393
Contributeur : Guy Gogniat <>
Soumis le : vendredi 18 août 2006 - 16:08:56
Dernière modification le : jeudi 7 février 2019 - 17:03:20
Document(s) archivé(s) le : lundi 5 avril 2010 - 23:08:47

Fichier

diguet_2006jmm_nf.pdf

Identifiants

Collections

LESTER | UNICE | CEA | I3S | LAB-STICC_UBS | UBS | LAB-STICC | DRT | INSTITUT-TELECOM | ENIB | LAB-STICC_ENIB | UNIV-BREST | UNIV-COTEDAZUR | LIST

Citation

Jean-Philippe Diguet, Guy Gogniat, Jean Luc Philippe, Yannick Le Moullec, Sébastien Bilavarn, et al.. EPICURE: A partitioning and co-design framework for reconfigurable computing. Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2006, 30, pp.367-387. 〈10.1016/j.micpro.2006.02.015〉. 〈hal-00089393〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

659

Téléchargements de fichiers

271

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD