Résumé: Cette thèse présente une méthode alternative a la simulation pour l’évaluation de la consommation électrique des circuits intègres. Nous travaillons sur un réseau de portes orientées. Nous modélisons la consommation de chaque porte par un automate dont les transitions s'accompagnent d'une dissipation d’énergie. Pour calculer la fréquence de ces transitions, nous développons une méthode d'analyse probabiliste fondée sur un nouveau modèle stochastique du comportement logique du signal. Chaque signal est caractérisé par une probabilité d’état, une probabilité de transition au niveau cycle et une suite periodique de probabilités de transition instantanées. Ce modèle permet de considérer le comportement synchrone des éléments memorisants sans négliger les changements d’état transitoires dans les parties combinatoires. Les probabilités sont propagées a travers les portes par une simulation symbolique a pilotage évènementiel impliquant le calcul de fonctions de transfert probabilistes. Les problèmes de corrélations sont résolus par la construction de supergates sur des ensembles de variables quasiment indépendantes. Pour optimiser cette résolution, nous proposons une nouvelle heuristique qui s'appuie sur l'expression de l'erreur engendrée par les corrélations et qui exploite la fonctionnalité des portes et les probabilités des signaux. Pour le calcul des probabilités de transition instantanées, nous effectuons une décomposition des supergates en chemins de transfert en exprimant une fonction de transition pour chaque chemin. Cette méthode tient compte des corrélations spatiales et temporelles et traduit les phénomènes de generation et de propagation d’états transitoires. Notre méthode probabiliste est mise en œuvre par le logiciel propagate. Les résultats obtenus pour des circuits complexes démontrent la pertinence de nos propositions et témoignent qu'une analyse probabiliste de la consommation des circuits VLSI peut être une alternative précise et rapide a la simulation.

Paris:
Langue: Français
Collation: 214 p. ill. ;30 cm.
Diplôme: Doctorat
Etablissement de soutenance: Paris, Université Pierre et Marie Curie
Spécialité: Electronique
Index décimal 621.381 5 .Circuits et composants électroniques (circuits à couches minces, analogiques, à semi-conducteurs, à supraconducteurs, intégrés, microélectroniques, numériques ; circuits et composants communs à la technologie des communications et à l'électronique, nanote
Thème Electronique

Mots clés:
Consommation d'énergie
Circuits intégrés à très grande échelle
Evaluation performance

Note: Bibliogr. pp.209-214