Communication

Méthode de conception de matériel par raffinements successifs

Karim Khordoc

Earl Shaw

Membre a labase

Karim Khordoc

Résumé de la communication

Cette soumission présente une méthodologie de conception de matériel basée sur la spécification et le raffinement d'une description DAHA (Diagrammes d'Actions Hiérarchiques Annotés). La méthode de spécification DAHA encourage l'élaboration concurrente des aspects fonctionnels et d'interface d'un module matériel, tout en les gardant séparés. Chaque module matériel est d'abord spécifié de manière abstraite à un niveau où les opérations atomiques sont les transactions naturelles de l'application. Les modules sont ensuite raffinés à un deuxième niveau où les opérations atomiques sont à présent des transactions de mots élémentaires. Finalement, le troisième et dernier niveau de raffinement est défini de manière à ce que chaque opération atomique à ce niveau soit contenue entièrement dans un cycle d'horloge spécifique. L'avantage de cette approche par couche d'abstraction est que les contraintes temporelles posées à un niveau supérieur peuvent être retracées et validées à un des niveaux inférieurs, en utilisant un logiciel de résolutions de contraintes. À part cette technique nouvelle de modélisation de matériel décrite ci-haut, l'autre point d'innovation dans notre soumission est un algorithme de conversion d'une spécifications DAHA au niveau cycle d'horloge spécifique à une spécification LTR (Logique de Transfert de Registres). Une telle spécification LTR peut ensuite être synthétisée par un logiciel de synthèse conventionnel. Nous démontrons la méthodologie et l'algorithme à l'aide de l'exemple d'un système servant de pont entre un bus PCI et un bus USB.

Contexte

Section :

Génie électrique et génie informatique

Domaine de la communication :

Génie électrique et génie informatique

Hôte : Université de Montréal

Découvrez d'autres communications scientifiques

Dans le même domaine
Du même congressiste

Thème du communication :

Génie électrique et génie informatique

Une solution au problème d'interposition en réalité augmentée

Claude Duchesne

Étude probabiliste de givrage et de délestage sur la ligne d'essais de 315 kV à Mont Bélair

Konstantin Savadjiev

Transformée en ondelettes et mesure de lacunarité fractale pour la caractérisation de surfaces rugu…

Arnaud Lina

Voir tous les contenus de ce communication

Autres communications du même congressiste :

Domaine de la communication :

Génie électrique et génie informatique

Méthode de conception de matériel par raffinements successifs

Karim Khordoc

Outil et méthodologie de développement de modèles exécutables

Philippe-André Babkine

Une approche orientée objet pour la co-conception de systèmes embarqués dans le domaine des applica…

Ghassan Fayad