Modélisation structurelle et fonctionnelle des circuits logiques en vue du test

Logical circuits structural and functional modelisation for testing

• Auteur / Autrice : Laurence Eudeline
• Direction : Christian Durante
• Type : Thèse de doctorat
• Discipline(s) : Composants, signaux et systèmes
• Date : Soutenance en 1991
• Etablissement(s) : Montpellier 2

Mots clés

Mots clés contrôlés

Modèles mathématiques

Calculs numériques

Circuits logiques

Essais (technologie)

Résumé

Ce memoire propose une modelisatin hierarchisee, structurelle et fonctionnelle des circuits logiques, fondee sur une etude approfondie de leur comportement. Une synthese bibliographique, relative a l'etat de l'art en matiere de test logique, revele l'insuffisance du modele a portes pour propager les donnees de test, saines ou fautives, de maniere rapide et aisee. Pour ce defaire de ce type de deficience, d'autres travaux avaient deja cherche a considerer les systemes digitaux d'un plus haut point de vue. La partie description comportementale de la modelisation presentee, introduit en sus les concepts d'incompatibilites fonctionnelles, de transparence et de blocage pour reduire le nombre de retours arrieres, qui entravent toute tache de propagation, en se degageant de la plupart des incoherences d'affectations. Elle est supportee par une representation structurelle simple et homogene, qui decoupe le circuit en blocs fonctionnels, sans omettre les primitives topologiques. Aussi, elle permet de traverser tout module, y compris ceux de logiques aleatoires combinatoires et sequentielles synchrones, en une seule fois, et de facon bidirectionnelle. La modelisation exposee conduit naturellement a une methodologie de propagation entierement dirigee par la fonctionnalite realisee par les structures parcourues