Scribd
Importer
14 vues5 pages

Validation

Le document décrit la validation d'un module M1 à travers une machine d'états finie (MEF) en utilisant des schémas et des diagrammes d'états. Il détaille un plan de vérification avec des conditions spécifiques pour tester le fonctionnement du module, y compris des scénarios de détection de départ, de rejet de bruit et de mise à jour dynamique. Enfin, il présente des démonstrations de prototypes avec des ondes sinusoïdales et des simulations pour visualiser les résultats des tests.

Transféré par

biochimie
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
14 vues5 pages

Validation

Le document décrit la validation d'un module M1 à travers une machine d'états finie (MEF) en utilisant des schémas et des diagrammes d'états. Il détaille un plan de vérification avec des conditions spécifiques pour tester le fonctionnement du module, y compris des scénarios de détection de départ, de rejet de bruit et de mise à jour dynamique. Enfin, il présente des démonstrations de prototypes avec des ondes sinusoïdales et des simulations pour visualiser les résultats des tests.

Transféré par

biochimie
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

VALIDATION APP 2 – JONATAN VALADE &

TRISTAN FAUCHER
1.1 MODULE M5
1.1.1 EXPLIQUER VERBALEMENT AVEC SCHÉMA-BLOC ET DIAGRAMME D’ÉTATS
MEF -> ENTRÉES/SORTIES ET LE COMPORTEMENT DE LA MEF ET
EXPLIQUER SOMMAIREMENT COMMENT LE CODE VHDL RÉPOND AUX
SPÉCIFICATIONS
1.1.2 PLAN DE VÉRIFICATION
Objectif ciblé Valider le fonctionnement du module M1
Condition à proscrire Aucune
Reset Activer i_reset à ‘1’. La MEF passe à l'état s0, reg_compteur est
X
réinitialisé à 0.
Détection de départ Appliquer un échantillon La MEF passe de s0 à s1 et on ajourte 1 à
X
i_ech > 0 en état s0. reg_compteur.
Filtre de conf irmation Maintenir i_ech > 0 La MEF doit f ranchir successivement les états
pendant 3 cycles de strobe s1, s2, s3 pour atteindre l'état de mesure s4. X
i_en.
Rejet du bruit Forcer i_ech <= 0 avant La MEF doit retourner immédiatement en s0 et
l'état s3 (pendant la remettre reg_compteur à 0 sans mettre à jour X
conf irmation). o_param.
Mesure 1 Onde Injecter 1 onde X
Calcul et Envoi Détecter le passage par La MEF passe en s5, o_param est mis à jour à
zéro (i_ech <= 0) après via un décalage de bits. X
l'état s4.
Mise à jour dynamique Intecter 2 ondes o_param doit updater (dès la f in de la nouvelle
X
demi-période positive).
Mémorisation Appliquer un silence (i_ech La MEF reste en s0, et o_param doit maintenir
X
= 0) après un calcul. sa dernière valeur calculée de f açon stable.
Résiste au bruit Onde avec du bruit simulé La MEF doit passer de s0 à s1, s2, s3 mais
revenir à s0 si pas plusieurs positif s à la suite.

1.1.3 DÉMONSTRATION DU FONCTIONNEMENT DU PROTOTYPE AVEC DES ONDES


SINUSOÏDALES DE FRÉQUENCES PERTINENTES EN ENTRÉE
Ondes en entrés

1er -> 48 échantillons sur la période (avec un reset)

2ème -> 48 échantillons sur la période (sans reset)

3ème -> 32 échantillons sur la période

4ème -> Émuler du bruit


1.1.4 EXÉCUTION ET VISUALISATION DES SIMULATIONS À PARTIR DU BANC DE TEST
Rouge = Test avec reset

Jaune = Test avec onde 48 de période

Mauve = Test avec onde 32 de période

Gris = Test avec du bruit (simulation pic > 0 et pic < 0 rapidement)

Bleu = États de la MEF change bien


Rouge = Test avec reset (zoom)
Gris = Test avec du bruit (zoom)

Vous aimerez peut-être aussi