Publications

Thèses


< retour aux thèses

« Contribution à la vérification des circuits intégrés dans un environnement multivarié ».

Auteur : J.-P. Caisso
Directeur de thèse : B. Courtois
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Spécialité : Microélectronique
Soutenance : 16/11/1987
Pages : 212

Résumé

Le but de cette thèse est de spécifier des outils de simulation de pannes et de génération de vecteurs de tests, utilisables sur de scircuits VLSI décrits sous forme de réseaux de transistors. Un transistor MOS (Interrupteur) est par nature bi-directionnel, et il est impossible de prévoir le sens des courants qui le traversent sans appliquer aux réseaux de transistors un traitement préliminaire, qui reconnaît les boucles et les transistors de transmission, et définit le sens de propagation des signaux, ce traitement préliminaire, bien qu’il permette à la vérification proprement dite d’être plus rapide, ne respecte pas le concept de réseau bi-directionnel. On a donc choisi de vérifier les réseaux de transistors de façon directe, en créant des outils qui pallient l’ignorance des courants. En outre, l’algèbre des états représentant les signaux qui circulent dans les réseaux, doit être choisie de façon à pouvoir modéliser tous les comportements spécifiques de ce niveau de description . Cette algèbre est multivaluée, et comporte des couples (valeur, force) décrivant la tension et l’intensité des signaux.