Contribution à l'étude et au développement de techniques d'analyse de testabilité de descriptions comportementales de circuits

Contribution to studying and developing testability analysis techniques for behavioural descriptions of circuits

• Auteur / Autrice : Marc Boumedine
• Direction : Norbert Giambiasi
• 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

Complexité de calcul (informatique)

Commande, Théorie de la

Essais (technologie)

Circuits intégrés

Résumé

Ce memoire concerne l'etude et le developpement de techniques d'analyse de testabilite de descriptions comportementales de circuits. Ces techniques ont pour objectif de reduire le cout du processus de generation de sequences de test comportemental. Ce cout etant directement lie a la complexite des descriptions comportementales et a la complexite de la strategie de generation des sequences de test comportemental, les techniques presentees ont ete adaptees des domaines du test du logiciel et du test du materiel. Elles ont ete developpees au sein d'un environnement de testabilite comportementale nomme betie. Ce dernier contient les trois outils suivants: un outil de mesure de complexite de descriptions comportementales, un outil d'identification de fragments de descriptions a ameliorer et un outil de mesure de testabilite de descriptions comportementales