Abstract FR:

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.