Thèse soutenue

Insertion du BIST au niveau RTL et au niveau comportemental

FR
Auteur / Autrice : David Berthelot
Direction : Bruno Rouzeyre
Type : Thèse de doctorat
Discipline(s) : Électronique, optronique et systèmes
Date : Soutenance en 1999
Etablissement(s) : Montpellier 2

Mots clés

FR

Mots clés contrôlés

Résumé

FR

Cette these porte sur l'insertion automatisee du test integre (bist pour built-in self-test) au sein de circuits digitaux de type chemin de donnees. L'insertion du test est pris en compte des les premieres phases de la conception. La premiere partie de ce document est consacree a la presentation des notions de base sur la synthese d'architecture et le test integre. Le deuxieme chapitre decrit ma premiere contribution dans ce domaine, il s'agit d'un nouveau generateur de sequences de test couvrant tous les k sous-espaces contigus et permettant d'optimiser le test d'operateurs arithmetiques. Dans le troisieme chapitre, apres la presentation d'un etat de l'art, une nouvelle methode d'insertion du test integre au niveau rtl est presentee. De nouveaux concepts sont proposes pour le test des operateurs : la mixite, qui permet d'utiliser conjointement differents types de generateurs/compacteurs, l'ajout d'interconnexion, qui permet de diminuer la surface additionnelle finale. Comme ceci est valide par les resultats experimentaux, cette methode permet de trouver des compromis avantageux entre le temps d'application des tests et la surface additionnelle. Une technique complementaire, basee sur l'insertion de points de test, m'a permis de proposer une nouvelle solution quant au test des interconnexions, registres et multiplexeurs. Enfin, le quatrieme chapitre presente un etat de l'art sur la prise en compte du test integre a haut niveau. Deux nouvelles methodes sont alors proposees : une porte sur l'insertion du test integre a surface minimale tandis que l'autre porte sur l'insertion du test integre a temps de test borne. Elles reposent sur le concept commun d'ecriture du test sous la forme d'une description comportementale, ce qui permet d'utiliser les outils de synthese classiques. Ces methodes ont ete validees sur de nombreux benchmarks. Elles permettent, dans une grande majorite des cas, d'atteindre de meilleurs resultats que ceux presentes dans la litterature.