Validation des séquences de test des circuits intégrés complexes : contribution au développement de l'outil informatique Soline

par Mohamed Abid

Thèse de doctorat en Automatique

Sous la direction de Jean-Claude Geffroy.

Soutenue en 1989

à Toulouse, INSA .


  • Résumé

    Le travail presente dans ce document a ete realise au sein du gerii, dans le cadre d'une collaboration menee avec le groupe d'experts 9 de l'union technique de l'electricite sur la normalisation des outils de controle. Il concerne l'etude et la realisation d'un outil informatique, integre au projet soline, permettant la comprehension et la validation des sequences de test des circutis integres complexes. L'analyse critique des differentes methodes de generation des sequences de test fonctionnel des circuits complexes montre la necessite de valider ces sequences apres leur elaboration. L'approche utilisee ici est basee sur l'identification du circuit etudie a partir des relations entrees/sorties definies par la sequence de test: les solutions (modelisees par des graphes cartesiens) deduites de l'identification sont comparees au modele bon. Plusieurs jeux de contraintes permettent d'adapter l'analyse au niveau de connaissance apportee par le modele du circuit. Le logiciel realise a ete utilise pour valider une sequence de test d'un circuit integre reel (6800). Nous concluons sur la faisabilite d'une telle approche qui met en uvre des processus combinatoires complexes

  • Titre traduit

    Test sequence validation of complex integrated circuits : contribution for development of a software tool, Soline


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : Bibliogr. p. 229-233

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Guyane (Cayenne, Guyane). Service commun de la documentation. Bibliothèque plurisdisciplinaire.
  • Disponible pour le PEB
  • Bibliothèque : Institut national des sciences appliquées. Bibliothèque centrale.
  • Disponible pour le PEB
  • Cote : 1989/087/ABI
  • Bibliothèque :
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.