Compression de données de test : Réduction du nombre de broches et gain en temps de test Julien DALMASSO, Marie-Lise FLOTTES, Bruno ROUZEYRE {dalmasso,

Slides:



Advertisements
Présentations similaires
Architecture de machines Le microprocesseur
Advertisements

APPLICATIONS DE CREX QUELLES SONT LES PRINCIPALES CARACTERISTIQUES DU CODE? QUELS PEUVENT ÊTRE SES UTILISATIONS? EXEMPLES.
Test de Systèmes Intégrés Digitaux et Mixtes
LIRMM 1 Journée Deuxièmes années Département Microélectronique LIRMM.
Introduction à l’Algorithmique
Codage de la parole à très bas débit avec des unités ALISP
1/17 Projet LAGAN Dechou & CO Développement dun programme de gestion dascenseurs Présentation de lapplication.
Cours n° 8 Conception et Programmation à Objets
1 UMLV 1. Introduction 2. Hachage ouvert 3. Hachage fermé 4. Implémentation des fonctions Méthodes de hachage.
La programmation générique avec la STL EIUMLV - Informatique et Réseaux 99 Benoît ROMAND.
Diagrammes de communication
MODULE ER13 PROJET INFORMATIQUE DEVELOPPEMENT en EQUIPE
Application des algorithmes génétiques
La méthode de Monte Carlo
ECF 5 PRESENTATION « BULLE APPLICATIVE »
Journée thématique du GDR IFS « Réduction de modèle en IFS » ENSAM – Jeudi 18 mai 2006 Validation de l’approche de la réduction a priori - POD sur l'équation.
Méthodologies de test pour un FPGA
Atelier ADOMOCA Nov 2007 Hervé Le Berre & Daniel Cariolle Une méthode plus robuste pour la résolution des systèmes chimiques Projet ANR SOLSTICE.
Optimisation et parallélisation de code pour processeur à instructions SIMD multimedia François Ferrand.
Les pointeurs Modes d’adressage de variables. Définition d’un pointeur. Opérateurs de base. Opérations élémentaires. Pointeurs et tableaux. Pointeurs et.
Structures de données IFT-2000 Abder Alikacem Standard Template library Édition Septembre 2009 Département dinformatique et de génie logiciel.
Présentation Structures de Données et TDA
Plan Introduction Architecture des FPGA Modèles des fautes
Plan Introduction DFT d’un additionneur asynchrone
Test de l’intégrité des signaux numériques des interconnexions des SoC
Plan Problématique Fautes de délai Techniques de test « at-speed »
Réduction de la consommation de puissance durant le test des circuits munis de chaines de scan khalid El Amrani-ele6306 khalid El Amrani.
Parallel Programming in C with MPI and OpenMP
Efficacité des algorithmes
Objectifs du chap. 5: Plans de recherche classiques Savoir identifier et distinguer les modes de comparaison des mesures Savoir identifier et distinguer.
Objectifs du chap. 5: Plans de recherche classiques Savoir identifier et distinguer les modes de comparaison des mesures Savoir identifier et distinguer.
Détection du meilleur format de compression pour une matrice creuse dans un environnement parallèle hétérogène Olfa HAMDI-LARBI.
Standard Template Library
La théorie de la communication de C. Shannon
L’adaptativité pour un solveur de l’équation de Vlasov
Structures alternative et répétitive
L’essentiel du langage C
Chapitre 21 Collections Partie II Algorithmes  Algorithmes sur des List : sort binarySearch reverse shuffle fill copy  Algorithmes sur des Collections.
15/04/2008GLAST France1 Connaissance/qualification de l’instrument Activitées Calibration & Analysis Gamma-ray Large Area Space Telescope.
Banc d’essai pour un circuit combinatoire
CYCLE 6 : FONCTIONS Faire un programme en C avec des FONCTIONS 1- A quoi servent les FONCTIONS ? 2- Comment écrire un programme avec FONCTIONS ? 3- Comment.
Amélioration de la simulation stochastique
Les Codes Spatio-Temporels Correcteurs d’Erreurs
Test de l’unité d’exécution d’une instruction par application d’instructions de test Projet du cours ELE6306 : Tests des systèmes électroniques. Nicolas.
Etude et test des algorithmes d'estimation de mouvement en MPEG
TP N°4 – M2 EEA SM Conception en Vue du Test. Objectifs Réaliser le flot complet de synthèse – test – synthèse en vue du test Utilisation d’un design.
Test et Testabilité des Circuits Intégrés Digitaux
Chaînage et LSC : motivation et principe Manipuler la LSC : exemples Variantes : LDC, liste circulaire, … Etude de cas : réalisation d’un buffer clavier.
Structures de contrôle
Chapitre 5 Test de circuits séquentiels
Plusieurs techniques ont été expérimenté. Différentes modulations ont été étudiées et testées. Un setup expérimental a été mis en place. Les résultats.
Projet de Fin d’Etudes – Optimisation SSE 1/28. 1) Présentation du Stage 2) Les instructions SSE 3) Algorithme DSP Audio Conclusion 2/28 Projet de Fin.
Techniques de BIST à puissance réduite
ELE6306 : Test de systèmes électroniques Projet de cours Core Test Language (CTL) Maurice Kouam; Guillaume Wild Professeur : A. Khouas Département de génie.
Exemple : Relation IP/MASQUE
6° Conférence Francophone de Modélisation et de simulation 3 / 5 Avril Rabat Outil d’aide à l’analyse des interactions de contraintes pour l’ordonnancement.
Power AMC-Rational Rational Rose, Étude comparative
VHDL pour circuits séquentiels
Recherche de motifs par projections aléatoires
Synthèse d’images et Rendu Réaliste Compression Progressive de Modèles 3D DOMENGET Bruno DUMAS Benjamin EISTI.
ELE6306 : Test de systèmes électroniques Adaptation d’une interface de communication pour implants en vue du test Laurent Aubray, Dominique Pâquet-Ferron.
Scan-Chain Attack.
Simulation de traces réelles d’E/S disque de PC. Jalil Boukhobza, Claude Timsit Perpignan le 06/10/2006.
Resource-Limited Genetic Programming : Replacing Tree Depth Limit.
ELE6306 : Test de systèmes électroniques Test intégré et Modèle de faute de délai Etudiante : S. BENCHIKH Professeur : A. Khouas Département de génie électrique.
FAUVET Nicolas 1 Gestion de données scientifiques 3d massives pour l’interaction en Réalité Virtuelle Doctorant: Nicolas Fauvet Encadrant: Jean-Marc Vézien.
Création et Optimisation de Modules Audio avec les instructions SSE
13/08/2013JC/LP/MD1 TP2 Enoncé. 13/08/2013JC/LP/MD2 Objectif Gérer la liaison série en polling Envoi d’un caractère § au démarrage Faire l’écho des caractères.
Dr Vincent BIGE Centre de référence Mucoviscidose de Lyon
Compression d’images par DCT et par Ondelettes.
Transcription de la présentation:

Compression de données de test : Réduction du nombre de broches et gain en temps de test Julien DALMASSO, Marie-Lise FLOTTES, Bruno ROUZEYRE {dalmasso, flottes, CONTEXTE Technique de compression Résultats et comparaisons Compression Horizontale  Réduction du nombre de canaux testeur (ATE) pour transmettre les données de test au circuit  De nombreuses méthodes existent pour réaliser ce type de compression, mais elles présentent toutes un ou plusieurs de ces défauts:  La structure des chaînes de scan dépend du choix de la technique de décompression  La structure de décompression dépend des vecteurs de test  Les Techniques nécessitent des séquences de test spécifiquement créées  Elles sont basées sur de la simulation de fautes ou sur l'utilisation d'ATPG, ce qui rend ces méthodes incompatibles avec l'utilisation d'IP Pourquoi la compression ? Dans le cadre de circuits séquentiels dans lesquels on utilise la technique de DFT d’insertion de chaînes de scan  utilisation de chaînes de scan multiples pour réduire le temps de test  cela crée une augmentation du nombre de broches testeur nécessaire à la transmission des données d’où une augmentation du coût du test  Utilisation de techniques de compression horizontale des données de test pour réduire ce besoin en nombre de canaux testeur (ATE) Soit S i une tranche de la séquence de test et S i+1 la suivante La tranche compressée est notée Sci. Pour N chaînes de scan nous avons: S i = a N-1 …………a 0 S i+1 = b N-1 …………b 0 Pour M canaux testeur: Sc i = c M-1 ….. c 0 (avec les C i positionnés sur les canaux de données) Le décompresseur réalise donc l'opération: a N-1 ………………..…...…..….....…..…a 0 ( S i ) c M c M-2 0…... 0 c c 0 ( Sc i ) _________________________________ b N-1 ………………………..……..………b 0 ( S i+1 ) Temps de Test Volume de données Compression Sérialisation 1slice Conclusion Une nouvelle méthode de compression des données de test a été présentée:  indépendante des séquences de test et des netlists des circuits.  Notre méthode a été comparée à la technique classique de sérialisation des données de test. Avec le même nombre de canaux testeurs, notre technique est toujours plus efficace en termes de réduction du temps de test et du volume de données. Exemple de séquence compressée Assignation: algorithme de recherche en profondeur Schéma général de compression-decompression horizontale Exemple de décompresseur sur puce Algorithme général de compression T : S 1 : x x 0 0 x S 2 : x 1 0 x 1 x x 0 S 3 : 1 x x 0 x x x 1 S 4 : x x 1 1 x 1 x x S 5 : 1 1 x x x x 1 0 S 6 : x 0 x 0 1 x 1 x T' : Sc 1 : Sc 2 : 1 1 Sc 3 : 1 1 Sc 4 : 1 0 Sc 5 : 0 1 Sc 6 : 1 0 T * : S 1 : S 2 : S 3 : S 4 : S 5 : S 6 : Initialisation I = 1 If S C i Initialisation des S i S i+1 = S i + S C i i++ NO YES S C i codées sur M bits shift mode add mode S i codées sur N bits Assignation des S C i END while i< #Slices Comparaison pour plusieurs Circuit ISCAS’89,pour N=32 chaînes de scan et M=8 canaux testeur Liste niveau portes Liste de fautes Génération vecteurs Compaction avec des X COMPRESSION Compaction + remplissage aléatoire SERIALISATION s5378 s9234 s13207 s15850 s35932 s38417 s38580 s5378 s9234 s13207s15850 s35932 s38417s38580