Conception d'architectures en utilisant signal et vhdl

par MOHAMMED BELHADJ

Thèse de doctorat en Informatique

Sous la direction de P. LE GUERNIC.

Soutenue en 1994

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Ce document presente une approche pour la conception de circuits, se basant sur le langage flot de donnees synchrone signal et le langage de description de materiel vhdl. Deux aspects sont importants pour la conception d'architectures: la synthese et la verification formelle. La synthese permet d'obtenir a partir d'une description abstraite une architecture materielle par des transformations automatiques. La verification formelle, quant a elle, permet d'etablir qu'une abstraction et une mise en uvre sont conformes via-a-vis d'un certain critere. Une partie est consacree a la synthese de circuits a partir de signal, et ceci en s'appuyant sur une traduction vers vhdl qui dispose de nombreux outils de synthese. Une methode pour la synthese de circuits globalement asynchrones localement synchrones est definie. Ce type d'architecture permet d'allier les avantages des circuits synchrones et des circuits asynchrones. Dans la deuxieme partie consacree a la verification formelle, une definition d'un sous-ensemble vhdl en signal est donnee en prelude a la verification des programmes vhdl dans l'environnement signal. Un sous-ensemble synchrone de vhdl est utilise pour la verification formelle a l'aide de l'outil de preuve associe a signal


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 180 P.
  • Annexes : 166 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1994/191
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.