ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 45/1-3 - 2011  - pp.221-236  - doi:10.3166/jesa.45.221-236
TITRE
Approche pour l’intégration du raffinement formel dans le processus de conception des SoCs

RÉSUMÉ
Nous présentons une méthode de raffinement de communication prouvé dans une méthodologie de conception de systèmes sur puce (SoC). La méthodologie que nous proposons offre une approche formelle pour la modélisation et l’analyse des différents niveaux de spécification. En effet, elle fournit un moyen de construire des modèles d’architecture et d’application à différents niveaux d’abstraction. Elle permet également de vérifier formellement les modèles à chaque niveau et de relier les modèles successifs par raffinement et assurer la préservation de comportement.


ABSTRACT
We present a methodology for proved communication refinement in system-level design space exploration of system-on-chip (SoC). The methodology we propose provides a formal approach for modeling and analysis the different levels of specification. Indeed, it provides a mean to build models of architecture and application at different levels of abstraction. It also allows us to verify formally the models at each level and to link the successive models by relation of refinement and to insure preservation of behavior.


AUTEUR(S)
Hocine MOKRANI, Rabéa AMEUR-BOULIFA, Sophie COUDERT, Emmanuelle ENCRENAZ-TIPHENE

MOTS-CLÉS
méthodologie de conception des systèmes sur puce, vérification, raffinement formel, preuve.

KEYWORDS
system on chip design methodology, verification, formal refinement, proof.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (797 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier