ACCUEIL

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

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 21/3 - 2002  - pp.291-314
TITRE
Desiderata pour la spécification et la conception des systèmes électroniques

RÉSUMÉ
L’évolution des systèmes électroniques implique l’utilisation de nouveaux langages de description réunissant les concepts nécessaires pour la spécification, la validation et le raffinement lors de la conception des circuits et des systèmes intégrés. Par conséquent, suite aux études effectuées dans ce domaine, une multitude de langages sont actuellement présents. Malheureusement, aucun de ces langages ne supporte toutes les exigences nécessaires pour la conception des systèmes électroniques. Cet article étudie les concepts fondamentaux utilisés tout au long du flot de conception des systèmes électroniques afin de pouvoir analyser les points forts et les points faibles des langages existants. Après une analyse des solutions actuelles proposées pour la spécification, nous proposons un modèle de spécification pour la synthèse et la conception des systèmes électroniques.

ABSTRACT
The evolution of electronic systems requires the use of new specification languages, joining together the necessary concepts for specification, validation and refinement for the design of circuits and integrated systems. Consequently, as a result of studies achieved in this domain several languages are now proposed. Unfortunately, any of these languages supports all the requirements for the conception of electronic systems. This paper presents fundamental concepts used throughout the design flow, in order to analyze the strengths and weaknesses of existing languages. After we analyze the solutions proposed currently for electronic system specification, we propose a specification model for synthesis and electronic systems design.

AUTEUR(S)
Gabriela NICOLESCU, Kjetil SVARSTAD, Wander CESARIO, Lovic GAUTHIER, Damien LYONNARD, Sungjoo YOO, Pascal COSTE, Ahmed Amine JERRAYA

MOTS-CLÉS
langages de spécification, conception des systèmes électroniques, niveaux d’abstraction.

KEYWORDS
specification languages, electronic systems design, abstraction levels.

LANGUE DE L'ARTICLE
Français

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier