Synthese d'automates d'etats fini pour les circuits integres vlsi : optimisation du codage par evaluation du cout apres synthese et synthese d'automates a pile

par M. CHAKER SARWARY

Thèse de doctorat en Sciences appliquées

Sous la direction de A. GREINER.

Soutenue en 1995

à Paris 6 .

    mots clés mots clés


  • Résumé

    Cette these propose une methode permettant d'optimiser le codage d'etats des automates d'etats fini en vue de la synthese. Les deux points importants de cette methode sont: 1. Un parcours aleatoire sous contrainte de l'espace des codages: cette etape a pour objectif de selectionner un certain nombre de codages supposes meilleurs. L'approche consiste a progresser dans l'espace de maniere aleatoire, et pour chaque solution atteinte, ameliorer celle-ci, en effectuant des transpositions de codes, en tenant compte de la topologie du graphe d'etats representant l'automate a coder. Cette recherche est mise en uvre pour etre rapide en temps de calcul afin de laisser suffisamment de temps pour la procedure d'evaluation du cout. 2. Une procedure d'evaluation du cout: cette procedure donne le cout de la realisation de l'automate pour une implantation en logique multi-niveaux a base d'une bibliotheque de cellules precaracterisees. Pour repondre aux deux criteres importants d'une fonction de cout, la fidelite et la rapidite, elle se base sur une forme graphique de representation d'un reseau booleen appele graphes d'expressions factorisees. Cette approche permet d'eviter l'etape de re-ordonnancement des variables d'entree, qui est l'etape la plus couteuse en temps de calcul dans les methodes de synthese graphique. Pour la synthese d'automates complexes, cette these propose une description hierarchique pouvant etre implante par un automate a pile. Pour cela, un sous ensemble vhdl est defini qui permet de decrire ce type d'automates. Les automates a pile sont abordes selon les aspects suivants: facilite de description offerte aux concepteurs, comparaison d'une realisation avec une pile et une realisation sans pile d'un meme automate (lorsque ceci est possible), et l'impact de la pile sur le codage d'etats


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 136 P.
  • Annexes : 40 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1995 463
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1995
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.