Modeles et methodes probabilistes pour l'evaluation de la consommation des circuits integres vlsi

par JULIEN DUNOYER

Thèse de doctorat en Sciences et techniques

Sous la direction de ALAIN GREINER.

Soutenue en 1999

à Paris 6 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Cette these presente une methode alternative a la simulation pour l'evaluation de la consommation electrique des circuits integres. Nous travaillons sur un reseau de portes orientees. Nous modelisons la consommation de chaque porte par un automate dont les transitions s'accompagnent d'une dissipation d'energie. Pour calculer la frequence de ces transitions, nous developpons une methode d'analyse probabiliste fondee sur un nouveau modele stochastique du comportement logique du signal. Chaque signal est caracterise par une probabilite d'etat, une probabilite de transition au niveau cycle et une suite periodique de probabilites de transition instantanees. Ce modele permet de considerer le comportement synchrone des elements memorisants sans negliger les changements d'etat transitoires dans les parties combinatoires. Les probabilites sont propagees a travers les portes par une simulation symbolique a pilotage evenementiel impliquant le calcul de fonctions de transfert probabilistes. Les problemes de correlations sont resolus par la construction de supergates sur des ensembles de variables quasiment independantes. Pour optimiser cette resolution, nous proposons une nouvelle heuristique qui s'appuie sur l'expression de l'erreur engendree par les correlations et qui exploite la fonctionnalite des portes et les probabilites des signaux. Pour le calcul des probabilites de transition instantanees, nous effectuons une decomposition des supergates en chemins de transfert en exprimant une fonction de transition pour chaque chemin. Cette methode tient compte des correlations spatiales et temporelles et traduit les phenomenes de generation et de propagation d'etats transitoires. Notre methode probabiliste est mise en uvre par le logiciel propagate. Les resultats obtenus pour des circuits complexes demontrent la pertinence de nos propositions et temoignent qu'une analyse probabiliste de la consommation des circuits vlsi peut etre une alternative precise et rapide a la simulation.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 316 p.
  • Annexes : 67 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.
  • Disponible pour le PEB
  • Cote : T Paris 6 1999 171
  • 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 1999
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.