Test dun Réseau sur puce générique (generic Network on Chip) Présenté par: David Bafumba-Lokilo & Silvio Fornera.

Slides:



Advertisements
Présentations similaires
Un réseau de neurones artificiels montrant la persévérance et la distractibilité dans le wisconsin card sorting test.
Advertisements

La Méthode de Simplexe Standardisation
Module Systèmes d’exploitation
Machines séquentielles
Couche liaison de données
« Systèmes électroniques »
© Copyright 2007 Arumtec. All rights reserved. Présentation Etude déligibilité
ARCHITECTURE INTERNE d’un MICROPROCESSEUR
LIRMM 1 Journée Deuxièmes années Département Microélectronique LIRMM.
Surveillance des cas de rougeole dans 3 départements français à couverture vaccinale élevée Projet pilote de surveillance exhaustive Institut de.
ACTIVITES Le calcul littéral (3).
1 Ch. 5 Propagation guidée des OEM TEM Introduction Introduction 1 – Ondes guidées TEM dans un câble coaxial 1 – Expression du champ électromagnétique.
En quoi consiste la modulation d’amplitude ?
Architecture de réseaux
A abstraction b assembleur c nombre binaire d bit e cache f UC g puce h compilateur i famille dordinateurs j contrôle k chemin de données l défaut m dé
Les éléments de mémorisation
___________________ Directeurs d’école
Défi écriture BEF Couverture. Défi écriture BEF Page 1.
Thème « Modélisation comportementale des Systèmes critiques »
Cours Présenté par …………..
Bouyekhf Rachid-Lyuboumir Gruitch Laboratoire SeT UTBM
Tests et Validation du logiciel
Safae LAQRICHI, Didier Gourc, François Marmier {safae
Chapitre VII :Commande par retour d’état
Améliorer les performances du chiffrage à flot SYND
Mr: Lamloum Med LES NOMBRES PREMIERS ET COMPOSÉS Mr: Lamloum Med.
Les systèmes à microprocesseur
ARCHITECTURE GLOBALE CAPTAGE Traitement DES des données GRANDEURS
Page 1 Introduction à ATEasy 3.0 Page 2 Quest ce quATEasy 3.0? n Ensemble de développement très simple demploi n Conçu pour développer des bancs de test.
ETUDE SCIENTITFIQUE ET TECHNIQUE
Des RRA à la diagnosticabilité
Réglage et protection des réseaux électriques
Application des algorithmes génétiques
Gestion des Périphériques
Architecture Réseau Modèle OSI et TCP.
KAKI - Gestion budgétaire et comptable de la paye
ELE6306 Tests de Systèmes Électroniques
Feature Driven Development (FDD)
1.2 COMPOSANTES DES VECTEURS
NOTE : Pour faire évoluer le diaporama, si le clic de souris ne fait rien utilisez les touches du clavier : Pg up Pg down.
Plan de l’exposé Introduction Revue de littérature Méthodologie
Fonction COMMUNIQUER les liaisons série
Techniques de test Boulanger Jean-Louis.
SCIENCES DE L ’INGENIEUR
Test bilan de calcul mental N°1 :
Les modèles linéaires (Generalized Linear Models, GLM)
1.1 LES VECTEURS GÉOMÉTRIQUES
1 Algotel /05/04 Modélisation analytique des algorithmes dordonnancement GPS & WFQ BOCKSTAL Charles, GARCIA J.M. et BRUN Olivier.
Plan Introduction DFT d’un additionneur asynchrone
Plan Problématique Fautes de délai Techniques de test « at-speed »
Cours #7 Vérification d’un modèle VHDL
Institut Supérieur des Etudes Technologiques de Djerba Exposé du Traitement de Données Réalisé par: Khalifa Marwa Magroun Amira Jawadi Souad L2MDW.
Simulateur interactif de QOS dans un routeur
ECOLE DES HAUTES ETUDES COMMERCIALES MARKETING FONDAMENTAL
ECOLE DES HAUTES ETUDES COMMERCIALES MARKETING FONDAMENTAL
ECOLE DES HAUTES ETUDES COMMERCIALES MARKETING FONDAMENTAL
1 Modèle pédagogique d’un système d’apprentissage (SA)
ANALYSE METHODE & OUTILS
1. Présentation générale du système
Banc d’essai pour un circuit combinatoire
Chapitre 3 Simulation de Fautes
Tutorat 7 - Introduction au Routage et OSPF
INF3500 : Conception et implémentation de systèmes numériques Pierre Langlois Vérification de circuits.
Réalisé par : Mr IRZIM Hédi Mr JRAD Firas
INF3500 : Conception et implémentation de systèmes numériques Pierre Langlois Banc d’essai pour un.
Chapitre 5 Test de circuits séquentiels
MOCK.
Laboratoire Intégration des Architectures Numériques (IAN)
Simulateur de microcontrôleur Intel 80C51
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.
Transcription de la présentation:

Test dun Réseau sur puce générique (generic Network on Chip) Présenté par: David Bafumba-Lokilo & Silvio Fornera

Plan de présentation Introduction Le circuit Hypothèses Architecture et méthode de test Simulations Conclusion Questions 2 Introduction | Circuit | Hypothèses | Architecure et methode de test | Simulations | Conclusions Test dun Réseau sur puce générique

Introduction Nous utilisons un circuit NoC générique Dans ce projet on utilise un circuit de 8x8 avec une largeur dentrée/sortie de 32 bits. Le circuit prend en entrée 35 bits dont 3 bits dadresse de destination. On utilise une stratégie BIST pour définir larchitécture de test. 3 Introduction | Circuit | Hypothèses | Architecure et methode de test | Simulations | Conclusions Test dun Réseau sur puce générique

Le circuit: fonctionnement 3x38x8 0 1 _rts _rtr FFFA FFFF FFFB FFFB FFFC FFFE FFFA FFFFFFFB FFFB FFFC FFFE Le circuit a un comportement de switch fabric 2x2 4 Introduction | Circuit | Hypothèses | Architecure et methode de test | Simulations | Conclusions Test dun Réseau sur puce générique

Circuit: Gérance de priorité les ports _rts(ready to send) et _rtr (ready to receive) sont automatiquement générer en compagnie des ports dentrée/sortie. Ils permettent de déterminer la présence ou labsence de paquet de données dans les ports. Cest une manière de prioriser les ports. 5 Introduction | Circuit | Hypothèses | Architecure et methode de test | Simulations | Conclusions Test dun Réseau sur puce générique

Hypothèses : les hypothèses des fautes Faute dAdressage: on veut sassurer que les données sont envoyées à la bonne sortie. Faute de collage: on vérifie que les bits de données ne sont pas collées à 0 ou à 1. Faute de voisinage: on veut vérifier sil y a des courts circuits dans le cas où les données sont transmises par des busses en parallèle. 6 Introduction | Circuit | Hypothèses | Architecure et methode de test | Simulations | Conclusions Test dun Réseau sur puce générique

Larchitecture de test se compose de: Générateur de vecteurs: LFSR et autres circuits spécifique. Circuit dentrée: gère les signaux _rts et _rtr dentrée avec les vecteurs provenant du LFSR. Le circuit sous test Circuit de sortie: gère les signaux _rts et _rtr de sortie et le signal trig. Larchitecture et méthode de test 7 Introduction | Circuit | Hypothèses | Architecure et methode de test | Simulations | Conclusions Test dun Réseau sur puce générique

Larchitecture et méthode de test Générateur de vecteurs Le LFSR: Afin de vérifier la correspondance exacte des destinations des vecteurs, on copie les trois deniers bits(LSB) au début du vecteur. On utilise le polynôme primitif suivant: Le circuit spécifique: il est composé dun compteur pour générer les adresses. Il génère les vecteurs selon lhypothèse assumée. X 32 + X 7 +X 6 + X Introduction | Circuit | Hypothèses | Architecure et methode de test | Simulations | Conclusions Test dun Réseau sur puce générique

Larchitecture et méthode de test Circuit dentrée Il y a 8 circuits dentrée. Il permet denvoyer les vecteurs du LFSR ou du circuit spécifique au circuit sous test en gérant les signaux _rts et _rtr. 9 Introduction | Circuit | Hypothèses | Architecure et methode de test | Simulations | Conclusions Test dun Réseau sur puce générique

Larchitecture et méthode de test Circuit de sortie Il y a 8 circuits de sortie. Il sauvegarde le premier vecteur en sortie et vérifie si les 8 autres vecteurs sont égaux. Dans le cas contraire il envoie un signal derreur. Il comporte le signal > pour chaque circuit de sortie. Ces signaux utilisent une porte ET dont la sortie sert de signal de déclenchement du générateur de vecteur. De cette façon on ne perd pas les vecteurs quil génère. 10 Introduction | Circuit | Hypothèses | Architecure et methode de test | Simulations | Conclusions Test dun Réseau sur puce générique

Larchitecture et méthode de test DUT trig Device Test inputDevice Test output Générateur de vecteurs 11 Introduction | Circuit | Hypothèses | Architecure et methode de test | Simulations | Conclusions Test dun Réseau sur puce générique

Larchitecture et méthode de test Méthode de test On a fait des tests pour des circuits à 16 bits et 32 bits. Deux sortes de test: exhaustif et aléatoire avec LFSR (test complet du circuit à 16 bits) fonctionnel Test avec LFSR Exhaustif: toutes les fautes possibles 16 bits : 24 ms(simulation 1h) 32 bits : 1546 s (temps de simulation très long) Test aléatoire Appliquer des vecteurs aléatoirement au circuit 32 bits. Test fonctionnel On a pigé des vecteurs à appliquer au circuit 32 bits 12 Introduction | Circuit | Hypothèses | Architecure et methode de test | Simulations | Conclusions Test dun Réseau sur puce générique

11111… … … …011AAA Test fonctionnel DUT trig CIRCUIT DE VERIFICATION Larchitecture et méthode de test 13 Introduction | Circuit | Hypothèses | Architecure et methode de test | Simulations | Conclusions Test dun Réseau sur puce générique

Le vecteur permet de detecter les fautes dadressage 11001…011AAA 1AAAX AAA AAA 1AAAX AAA CIRCUIT SOUS TEST 1AAAX CIRCUIT DE SORTIE N Verification AAA = Adresse(N) CIRCUIT DENTRÉE COMPTE 8 VECTEURS Phase 1 du test fonctionnel Larchitecture et méthode de test 14 Introduction | Circuit | Hypothèses | Architecure et methode de test | Simulations | Conclusions Test dun Réseau sur puce générique

Larchitecture et méthode de test 11111AAA CIRCUIT SOUS TEST CIRCUIT DE SORTIE N CIRCUIT DENTRÉE COMPTE 8 VECTEURS Phase 2 et 3 du test fonctionnel Les vecteurs permettent de detecter les fautes de collage 11111… … VERIFICATION 15 Introduction | Circuit | Hypothèses | Architecure et methode de test | Simulations | Conclusions Test dun Réseau sur puce générique

Larchitecture et méthode de test Phase 4 du test fonctionnel Le vecteur permet de detecter les fautes de voisinage 0101… AAA CIRCUIT SOUS TEST CIRCUIT DE SORTIE N CIRCUIT DENTRÉE COMPTE 8 VECTEURS VERIFICATION 16 Introduction | Circuit | Hypothèses | Architecure et methode de test | Simulations | Conclusions Test dun Réseau sur puce générique

Larchitecture et méthode de test Simulations Problème de synchronisation Perte de données du LFSR Utilisation du TEXTIO du vhdl: voir les données en sortie par des fichiers. Temps de simulation: 16 bits: test complet 24 ms – 1h de simulation. test fonctionnel: 11.5 μs 32 bits : estimation de 1546 s (temps de simulation très long) 17 Introduction | Circuit | Hypothèses | Architecure et methode de test | Simulations | Conclusions Test dun Réseau sur puce générique

Conclusions On a pu définir des hypothèse de faute pouvant se retrouver dans le circuit. La connaissance du circuit interne est requise pour développer dautres techniques de détection des fautes. On a developpé une architecture générique complete de test integré independent de la structure. Test complet possible pour le circuit à 16 bits, pas pour celui à 32: Test aléatoire (specification de couverture) Test fonctionnel Complexité: n 2 par rapport au nombre de portes Problèmes: Taux de couverture Surface 18 Introduction | Circuit | Hypothèses | Architecure et methode de test | Simulations | Conclusions Test dun Réseau sur puce générique

Questions 19 Test dun Réseau sur puce générique