Colloque

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

K. Khordoc

E. Shaw

Membre a labase

K. Khordoc

Résumé du colloque

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.