Transparents_Int_Sys_09-10_Test - Ensiwiki
publicité
Intégration des Systèmes Notions de test et testabilité Michele Portolan Grenoble INP / TIMA [email protected] ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Pourquoi s’intéresser au test ? 1. Fondamental pour la qualité 2. Une part croissante dans le développement 3. Une part croissante dans le coût de production TTM => "Time to market" … TTM => "Time to money" ! Test & Measurement Europe – Dec/Jan 2002 ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Contenu et objectif Objectif : introduction aux concepts de base liés au test de circuits numériques ("custom") Notions générales et terminologie Prise en compte dans le processus de conception/fabrication Test fonctionnel / Test structurel (vecteurs, taux de couverture) Approches de conception pour le test (niveau circuit) Conception pour le test des équipements : norme "boundary scan" et utilisation en dehors du domaine du test dans les systèmes embarqués Pratique : insertion de scan et génération de vecteurs pendant le projet ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes 1. Terminologie : défaut ou faute ? Défaut Niveau physique Exemples : connexion coupée, court-circuit d'oxyde, contact mal formé … Faute Représentation des défauts au niveau logique (abstraction) Exemple : collage à 0 ou à 1 Faute permanente ou intermittente si modélisation d'un défaut Faute transitoire possible lorsque liée à l'environnement ou à l'intégrité du signal ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Terminologie : test ou vérification ? Vérification/Validation Recherche d'erreurs de conception Phase de conception Test Recherche de défauts/fautes (dus à la fabrication, au vieillissement ou à l'environnement opérationnel) Phase de fabrication ou phase opérationnelle/maintenance Conception supposée validée Enseignement focalisé sur les concepts et techniques du test ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Terminologie : test ou diagnostic ? Test Détection globale de la présence de défauts/fautes Identification des circuits bons (go/no go) Diagnostic Détection individuelle et localisation des défauts/fautes Permet réparation ou correction de conception Enseignement limité aux concepts et techniques du test ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Terminologie : quel type de test ? Test en ligne Test effectué en parallèle de l'exécution de la fonction opérationnelle Lié à la sûreté de fonctionnement Vieillissement, effets parasites ( ex. SEUs radiations, particules) Test hors ligne Test effectué en dehors de l'exécution de la fonction opérationnelle Eventuellement réalisé dans l'environnement opérationnel ("in situ") Test de fin de fabrication (défauts) et de maintenance (vieillissement) Enseignement limité aux concepts et techniques du test hors ligne ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes 2. Des "masques" au circuit encapsulé Masques (CAO) Masques physiques Fabrication (process) Découpe/ assemblage Distribution Tranches achevées ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Le test en fabrication Fabrication (process) Tranches achevées Contrôles visuels (options) Test sous pointes ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Test sous pointes Photo : CNET Grenoble ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Le test en fabrication Fabrication (process) Contrôles visuels (options) Tranches achevées Découpe/ assemblage Vieillissement accéléré Test sous pointes Test en boîtier Test en étuve (option) - motifs de surveillance du- paramétrique process - consommation (caractérisation électrique) - fonction (conditions nominales - circuits (courants de fuite, limites) puis test fréquence faible,etaux - performances Distribution dynamiques conditions d'environnement nominales) ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Flot de conception : préparation du test Spécifications "Système" et "haut niveau" Conception logique Génération physique Spécifications de test ("Boundary scan", fonctions de test, normes, taux de couverture, …) Contraintes de synthèse (insertion de scan, …) Macrocellules : BIST, … Génération de vecteurs, Contraintes sur les simulations Netlist circuit Vecteurs des blocs Vecteurs circuit Simulation de fautes Simulation orientée test Compilateurs : BIST … Posttraitement P&R Ré-organisation de scan, dimensionnement d'alimentations … ENSIMAG / Phelma 2A – Filière SLE Programme de test Intégration des Systèmes Passage simulation -> programme de test Résultat de simulation (fichier trace tabulaire statique) Description de brochage étendue (groupes de signaux) Traduction en commandes du testeur Nécessite de prendre en compte les limitations du testeur pendant la définition des simulations ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Caractéristiques majeures d'un testeur Nombre de canaux, nombre de canaux bidirectionnels Fréquence maximum et minimum Profondeur mémoire par canal Nombre d'alimentations et caractéristiques Largeur d'impulsion minimum applicable sur les entrées Largeur d'impulsion minimum détectable sur les sorties Résolutions électrique et temporelle Nombre de générateurs de phases (nombre de fronts disponibles => nombre de chronogrammes de référence) Formats d'application des signaux Formats de comparaison (type d'échantillonnage) Types de mesures (fonctionnel, paramétrique, …) … ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes STIL : Standard Test Interface Language Norme IEEE 1450 : format de données commun pour faciliter le transfert de vecteurs de test entre ATPG, simulateur, BIST et testeur (ATE) Standard pour tous les fournisseurs CAO / ATE – nouvelle forme de définition de chronogrammes (WaveformTables) Réduction de la quantité de données ("gigabyte problem") : moyens de formatage efficaces + macros et procédures Langage flexible pour répondre à des besoins variés Bonne prise en compte des besoins pour les approches scan (procédures pour protocoles de chargement/déchargement, représentation compacte en hexadécimal, possibilité d'annotations aidant au diagnostic, …) Utilisation d'évènements (drive-up, drive-down, drive-on, drive-off, compare-high, compare-low, etc. …) pour la définition de chronogrammes, au lieu des formats fixes plus classiques (RZ, NRZ, …) ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Le test dans le flot de conception La testabilité doit être prise en compte lors de chaque étape de la conception (cahier des charges, architecture, conception logique, et même conception physique) Objectif pour le circuit final : séquence de test (ensemble de vecteurs) de longueur minimale pour une qualité de test donnée Ordre de grandeur typique : exécution < 1s ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes 3. Vecteurs de test : principe de base 0 1 1 1 0 0 Vecteur d'entrée Ve Circuit/ Système Entrées Primaires Sorties Primaires 1 1 0 0 1 Vecteur de sortie Vs Accessibles de l'extérieur Vecteur de test : V = (Ve,Vs) => diffère d'un stimulus de simulation classique Séquence de test : suite ordonnée ou non de vecteurs de test ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Détermination des vecteurs de test Test fonctionnel Semblable aux stimuli de validation de la conception (validation des fonctions), mais petit sous-ensemble "significatif" Généralement déterminé "manuellement" par le concepteur Test structurel La conception doit être préalablement validée Fondé sur la structure au niveau portes (ou transistors) du circuit et sur la fonction de chaque élément de base, plutôt que sur la fonction globale Recherche d'un taux de couverture, pour un modèle de fautes donné Généralement déterminé avec l'aide d'outils de CAO (ATPG) ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Effort pour la génération de vecteurs Effort doublé pour chaque génération de processeur [Intel] ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Test structurel Netlist (portes, transistors) Choix d'un modèle de fautes (abstraction au niveau logique/électrique des effets des défauts) Recherche d'une séquence (ordonnée/non ordonnée) minimale de vecteurs de test détectant les fautes considérées dans la structure spécifiée Séquence de test Taux de couverture ENSIMAG / Phelma 2A – Filière SLE Simulation de fautes Vecteurs fonctionnels (Automatic) Test Pattern Generation Liste de fautes indétectables Intégration des Systèmes Défauts/fautes … Circuit ouvert Courtcircuit Défauts aléatoires ponctuels Perte de rendement systématique (marginalités) Dispersions … ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Modèle des collages logiques ("stuck-at") Modèle le plus utilisé : collages simples au niveau portes Vdd a s-a-1 s b Reconnu pour modéliser ~70% des défauts réels en CMOS (cf. ITRS 1999) – Note : peu significatif pour les cellules avec structures 3 états Extensions : collages au niveau transistors, collages multiples ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Passage faute -> vecteur de test (principe) Cas d'un collage : 1. Justification : imposer un niveau bas 1 s-a-1 ? a 1 3. Propagation de la faute 1 (0 si faute présente) s 1 b 0 2. Sensibilisation du chemin V = 101 Cohérence Justification/Propagation • Algorithmes (minimisation du jeu de vecteurs) • Problèmes de complexité (structure, nombre de portes et de chemins, séquentialité et rebouclages, …) ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Autres modèles de fautes Modélisation incomplète par les collages des défauts physiques réels => autres modèles généraux et modèles spécifiques (macro-cellules denses : exemple des couplages entre cellules d'un plan mémoire) Stuck-on, stuck-open => comportement séquentiel induit (mémorisation dynamique) Court-circuits francs ou résistifs (shorts, bridges) Fautes de retard (niveau portes ou chemins) Couplages entre interconnexions (sub-micronique profond) Analyse paramétrique (exemple du test de courant Iddq) Court-circuits au niveau des interconnexions Défauts d'oxyde de grille, court-circuits internes aux cellules, … ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Complémentarité des approches Résultats comparés : fautes détectées par - test fonctionnel, - test structurel (scan), - test des fautes de retard - test Iddq (intersections à visualiser sur une sphère) Note : <500 defect per million requis pour µP… Une couverture ~100% pour les collages simples est insuffisante pour un niveau correct en ppm (=> Iddq …) Test & Measurement Europe – Dec/Jan 2002 ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Exemple de faute non testable s-a-1 ?! Problème de redondance logique : a + a . b = a + b Assez facile à éliminer dans un bloc, beaucoup plus délicat dans un assemblage hiérarchique (optimisations souvent locales aux blocs) ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes 4. Notion de testabilité "Aptitude d'un circuit ou d'un système à être testé" Prend en compte : Le taux de couverture (pour un modèle donné), Le nombre total de vecteurs, Le temps de génération du test, Les moyens à mettre en oeuvre pour la génération, Le temps de test sur ATE, Les caractéristiques nécessaires pour l'ATE. Concepts clés : Contrôlabilité des noeuds depuis les entrées primaires Observabilité des noeuds depuis les sorties primaires ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Augmentation de la testabilité Complexité croissante Testabilité intrinsèque plus faible Ratio croissant entre le nombre de broches et le nombre de transistors intégrés => indispensable de lier conception et test => conception en vue du test Objectif : augmenter la contrôlabilité et l'observabilité des noeuds internes Pouvoir les atteindre Les atteindre le plus vite possible ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Conception pour la testabilité (DFT) 2 niveaux d'application Circuits Cartes et systèmes 2 grands types d'approches Modification de la structure pour faciliter le test depuis l'extérieur Ajout d'éléments dans le circuit ou la système pour permettre un auto-test Principe de base : partitionnement ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Conception pour la testabilité : bilan Coûts Gains Accélération simulation de fautes Matériel (surface silicium) Complexité ATE Temps d'application du test Production Temps de génération du test R&D Temps de conception Performances (perte potentielle) Outils spécifiques + gains au niveau du test des équipements, + gains en maintenance et en qualité des tests, + diagnostic facilité, + restauration de l'adéquation entre les besoins et les possibilités des outils et des machines (CAO et ATE) ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes 5. Techniques de conception en vue du test Techniques non structurées (ad-hoc) Ajout d'éléments "au coup par coup", sans stratégie d'ensemble => Plots de test internes (prototypes), multiplexeurs, … Techniques structurées, voire systématiques Ajout d'éléments après définition d'un partitionnement et d'une stratégie globale – test parallèle (accès par multiplexages) – test sériel (registres à décalage) Auto-tests (BIST) Remarque : lien important entre les choix DFT et les possibilités du testeur disponible en production (échanges nécessaires entre l'ingénieur DFT et l'ingénieur de test – cf. www.tmworld.com/checklist) ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Modification d'un point mémoire fonctionnel Ajout d'une entrée multiplexée : E D Q S Test Esérie D Q S E Augmentation contrôlabilité et observabilité Ssérie Augmentation de la surface et du chemin critique (charge en sortie + traversée du multiplexeur) Peut nécessiter un forçage de la sortie pendant le décalage Remarque : structures variées possibles avec des schémas d'horloge différents, notamment pour pouvoir commander par horloges les instants de positionnement et de capture pour le test des fautes de retard ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Implantation d'un "scanpath" (1) Circuit initial : Logique combinatoire D Q D Q … D Q D Q H ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Implantation d'un "scanpath" (2) Circuit avec une seule chaîne série : Logique combinatoire Test Esérie D Q D Q D Q D Q Ssérie H Remarque pour un circuit avec plusieurs domaines d'horloge : nécessité de séparer les chaînes des différents domaines ou de les synchroniser (exemple : ordonnancement du plus lent vers le plus rapide) ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Implantation d'un "scanpath" (3) Circuit avec N chaînes série (principe - N limité en pratique par l'ATE disponible) : Logique combinatoire Test1 Esérie1 D Q D Q Ssérie1 H1 TestN EsérieN D Q D Q SsérieN HN ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Techniques structurées de test sériel Ajout limité ou systématique d'entrées multiplexées aux éléments de mémorisation utilisation de verrous (horloges biphasées) : LSSD utilisation de bascules : "scanpath" ou "scan" Inconvénients longueur du test (un vecteur N bits est lu ou écrit en N cycles d'horloge) profondeur mémoire par canal sur le testeur (au moins pour certaines E/S) consommation et risque de problèmes fonctionnels/électriques pendant les décalages (=> verrous en sortie …) Avantages nombre de signaux de commande peu élevé (compromis possible avec la longueur du test) coût matériel plus faible que pour les techniques de test parallèle ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes "Full scan" vs. "Partial scan" Approche "full scan" Modification systématique Coût matériel "élevé" Impact obligatoire sur le chemin critique Approche "partial scan" Algorithmes de sélection des bascules à chaîner, en fonction des contraintes (coût, chemin critique, …) et de la structure du circuit (noeuds d'accès difficile) Possibilité d'éviter un impact sur le chemin critique Sélection par le concepteur Structure pipeline "acceptable" (reste facilement testable) Pas de scan sur les éléments facilement accessibles fonctionnellement (exemple : banc de registres banalisés dans un processeur) ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Les auto-tests (BIST) Eléments de commande du test (application des vecteurs et analyse des réponses) intégrés dans le circuit Permet un test à fréquence réelle (détection des fautes de retard) Deux familles d'auto-tests : auto-tests pseudo-aléatoire auto-tests déterministes Nécessité d'éviter des circuits faussement déclarés "bons" codage des signaux d'erreurs (e.g. double rail) logique de test permettant de tester l'auto-test … ou conception assurant qu'une faute dans le BIST ne peut pas masquer une faute dans la logique fonctionnelle ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Auto-tests pseudo-aléatoires : principe Sorties fonctionnelles Entrées fonctionnelles Bloc sous test MISR compacteur LFSR autonome Signature ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Auto-test déterministe : cas des RAM Choix d'un modèle de fautes en fonction de la structure et implantation de l'algorithme de test correspondant : adresse fonctionnelle Test 0 Pour algorithme de "marche" classique Générateur d'adresses (compteur/ décompteur) Test Contrôleur (séquencement des adresses et des données écrites et lues) ENSIMAG / Phelma 2A – Filière SLE adresse RAM 1 commandes données données fonctionnelles Comparateur Signal d'erreur (codage double rail) Intégration des Systèmes Test de cartes, MCM/SiP et systèmes Complexité des techniques (circuits VLSI, densité d'interconnexion, montage en surface, multi-couches, circuits hybrides et MCM, …) => limitation de l'emploi des "planches à clous" Utilisation de techniques semblables à celles employées pour les circuits Besoin de standardisation des protocoles de test pour faciliter les tests d'entrée chez les équipementiers Nécessaire aux différents niveaux hiérarchiques (circuits hybrides et MCM, cartes, systèmes, …) => travaux du JTAG (Joint Test Action Group) ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Propositions du JTAG Faciliter le test et le diagnostic d'éléments numériques Maîtriser et minimiser la complexité des testeurs de cartes Ré-utiliser les test fonctionnels des circuits et les dispositifs de test intégrés pour le test in-situ Approche de test sériel pour réduire le nombre de broches de test Capacités minimum orientées vers le test de la carte (test externe) : présence et orientation des composants, interconnexions et soudures correctes Norme IEEE 1149.1 "Boundary Scan" (début 1990) ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Architecture niveau carte : principe Test Access Port ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Impact sur la conception des circuits Test Access Port TDI Registres de test utilisateur Registre Boundary Scan Registre Bypass Registre Identification Ampli 3 états TDO Logique de décodage TMS TCK TRST ENSIMAG / Phelma 2A – Filière SLE Registre Instruction Contrôleur du TAP Intégration des Systèmes Instructions "Boundary Scan" EXTEST : test externe (interconnexions, composants non compatibles avec la norme) BYPASS : réduction d e la longueur de la chaîne sérielle SAMPLE/PRELOAD : échantillonnage et pré-chargement du registre de périphérie INTEST : test interne (composants compatibles avec la norme) RUNBIST : activation des dispositifs de test intégré IDCODE : code d'identification du composant USERCODE : code d'identification de la programmation Instructions utilisateur Instructions 2ème révision (CLAMP et HIGHZ pour éviter les contentions de bus en forçant un niveau sûr ou un état haute impédance sur les sorties, …) ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Le registre de périphérie "Boundary Scan" sortie série de donnée Cellule complète : entrée parallèle de donnée Mode sortie parallèle de donnée Shift Q D entrée série de donnée D Q verrou Capture Update sortie parallèle de donnée Shift entrée parallèle de donnée Cellule "simple observation" : ENSIMAG / Phelma 2A – Filière SLE entrée série de donnée DQ sortie série de donnée Capture Intégration des Systèmes Test externe d'une interconnexion : exemple Instruction TDI C1 EXTEST C2 EXTEST C3 BYPASS Configuration BS Verrou de sortie -> Extérieur Extérieur -> Bascule d'entrée Verrou de sortie -> Extérieur Extérieur -> Bascule d'entrée Fonctionnel TDO ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Test interne d'un circuit : exemple Instruction Configuration BS BYPASS Fonctionnel TDI C1 Verrou d'entrée -> Coeur Coeur -> Bascule de sortie C2 INTEST C3 BYPASS Fonctionnel TDO ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Le "Contrôleur du TAP" 1 TEST-LOGIC-RESET 0 0 1 SELECT-DR- RUN-TEST-IDLE SELECT-IRSCAN 1 SCAN 0 0 CAPTURE-DR Moore, 16 états 0 CAPTURE-IR 1 0 Initialisé par TRST Commandé par TMS 0 SHIFT-DR SHIFT-IR 1 1 Commandes : registre d'instruction, sélection TDO, commandes globales TDR 1 1 PAUSE-IR 1 0 EXIT2-DR 1 EXIT2-IR 1 UPDATE-DR 0 1 0 0 PAUSE-DR 1 ENSIMAG / Phelma 2A – Filière SLE EXIT1-IR 0 0 1 0 EXIT1-DR Synchronisé sur front montant de TCK 1 0 1 UPDATE-IR 0 Intégration des Systèmes Test interne d'un circuit depuis la carte entrée série Chaîne scan Chaîne scan Chaîne scan sortie série Insertion des registres scan internes des circuits dans la chaîne sérielle établie sur la carte ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Extensions basées sur le "Boundary Scan" Contrôle du test interne (BIST, scan) par le TAP pour réduire la complexité des testeurs de circuits en production (peu de canaux nécessaires) Utilisation de l'interface "Boundary Scan" pour la configuration des contenus mémoires (ex. Flash) de certains composants en fin de production (effectué avec le test : évite une étape supplémentaire en production) Extension vers la programmation "dans le système" (ISP, ou "In-System Programming", devenu ISC ou " In-System Configuration") => normalisation IEEE 1532, incluant de nouveaux registres, de nouvelles instructions et l'extension du BSDL Permet notamment les modifications de fonctionnalité (ou corrections) à distance – Exemple : téléchargement d'un jeu sur un téléphone portable Extension analogique / mixte : IEEE 1149.4 Test de blocs embarqués (IP) : IEEE 1500 ("wrapper" et "Test Access Mechanism") ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes Le test en fabrication Fabrication (process) Contrôles visuels (options) Tranches achevées Découpe/ assemblage Test sous pointes Test en boîtier - motifs de surveillance du process (caractérisation électrique) - circuits (courants de fuite, puis test fréquence faible, aux conditions d'environnement nominales) Vieillissement accéléré Test en étuve - paramétrique - consommation (option) - fonction (conditions nominales et limites) - performances dynamiques Distribution ENSIMAG / Phelma 2A – Filière SLE Intégration des Systèmes
