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

https://hal.archives-ouvertes.fr/hal-00089393
Contributeur : Guy Gogniat <>
Soumis le : vendredi 18 août 2006 - 16:08:56
Dernière modification le : vendredi 5 février 2016 - 11:15:42
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

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

204

Téléchargements du document

178

Contact

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