Codage d'automates et théorie des cubes intersectants - TEL - Thèses en ligne Access content directly
Theses Year : 1991

State assignment of finite state machine and intersecting cube theory

Codage d'automates et théorie des cubes intersectants

Abstract

Cette thèse propose une methode de codage optimise d'automate synchrone dans un environnement du type compilateur de silicium. Dans une première partie, on recherche sur le graphe d'état des situations prédictives de minimisation des équations des variables internes et des sorties. Ceci définit des contraintes sur le codage en terme d'une liste de groupes d'adjacence d'états a immerger sur des faces ou cubes de l'hypercube. Dans une deuxième partie le codage est réalisé en satisfaisant au mieux ces affectations de faces et leurs intersections. Les principes de base de cette approche sont les suivants: (i) pour la première phase, la recherche de situations prédictives de minimisation est fondée sur la théorie des paires de partition de Hartmannis. Les situations sont recherchées entrée par entrée; cette approche locale permettra de faire face aux grandes complexités; remarquons que le codage des entrées n'est pas aborde. La priorité est donnée aux fusions potentielles de monômes dans les équations. On ne recherchera pas de façon indifférenciée comme dans d'autres approches (mustang) toutes les minimisations possibles incluant les factorisations. En effet, il est raisonnablement estime que seule la fusion de monômes assure un gain de surface et en connectique; (ii) pour la deuxième phase, les techniques d'immersion dans l'hypercube seront très sophistiquées. Elles reprendront une représentation de l'hypercube par le treillis de l'ensemble des parties de n éléments. Pour résoudre les problèmes des contraintes intersectantes, c'est-a-dire des contraintes impliquant des sous-ensembles d'états en commun, une théorie dite théorie des cubes intersectant sera proposée. Les résultats de cette thèse ont donne lieu a un logiciel intégré dans le système asyl. Les résultats obtenus en gain de surface sur silicium, de chemin critique et de facteurs de routage sont les meilleurs actuellement connus
Fichier principal
Vignette du fichier
Duff.Christopher_1991_these.pdf (14 Mo) Télécharger le fichier

Dates and versions

tel-00339918 , version 1 (19-11-2008)

Identifiers

  • HAL Id : tel-00339918 , version 1

Cite

Christopher Duff. Codage d'automates et théorie des cubes intersectants. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1991. Français. ⟨NNT : ⟩. ⟨tel-00339918⟩

Collections

UGA CNRS TDS-MACS
307 View
71 Download

Share

Gmail Facebook X LinkedIn More