Synthèse de circuits digitaux synchrones par transformations de programmes fonctionnels

par Kamel Kessaci

Thèse de doctorat en Informatique

Sous la direction de Michel Lemaître.

Soutenue en 1992

à Toulouse, ENSAE .


  • Résumé

    Avec la complexité croissante des circuits VLSI, la recherche de méthodes formelles de conception de circuits devient nécessaire pour atteindre l'objectif de circuits zéro-défaut dans les délais escomptés. Dans le cadre des circuits digitaux synchrones, nous proposons une méthodologie de conception de circuits descendante par transformations de programmes. La transformation de programmes consiste à dériver une réalisation à partir de sa spécification comportementale de haut niveau. La synthèse de circuits par transformations de programmes qualifie ce processus de réalisation. Pour cela, nous avons choisi deux langages: l'un pour spécifier le comportement d'un circuit et l'autre pour décrire sa réalisation. Ces deux langages sont des sous-langages du langage purement fonctionnel Miranda. Un circuit digital est spécifié à un niveau comportemental pur. Chaque transformation produit une nouvelle description, équivalente à celle de départ. A une certaine étape des transformations, la forme de la spécification prend un sens en terme de circuit. Cette forme est obtenue par application de transformations particulières que sont le schéma d'introduction de flots ou le théorème de réalisation. Les transformations suivantes ont pour but d'optimiser le circuit. Une réalisation de circuit ainsi obtenue est correcte par construction. Une preuve a posteriori n'est donc pas nécessaire. La première partie de cette thèse présente une étude bibliographique des recherches qui ont été effectuées dans le domaine de la conception de circuits digitaux zéro défaut. La seconde partie propose une méthodologie de conception de circuits digitaux synchrones, un langage de description de circuits, des schémas de transformations et une stratégie de leur application. Enfin un ensemble d'exemples de synthèse de circuits est donné.

  • Titre traduit

    Digital synchronous circuit synthesis by functional program transformations


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (179 p.)

Où se trouve cette thèse ?

  • Bibliothèque : Institut Supérieur de l'Aéronautique et de l'Espace. Service documentation.
  • Disponible pour le PEB
  • Cote : 1992/94 KES
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.