Testbench

Testbench : Buffer valid/ready

Intermédiaire

01Objectif

Vérifiez la conservation des données sous backpressure et la reprise. Utilisez des contrôles auto-vérifiants et terminez avec final_report. Effectuez au moins 16 contrôles avec check_output. Votre testbench doit réussir sur le DUT correct et détecter les défauts cachés.

02Fonctionnement

Entrées : i_reset (1 bit), i_valid (1 bit), i_ready (1 bit), i_data (8 bits). Sorties : o_valid (1 bit), o_ready (1 bit), o_data (8 bits).

Comportement

Les opérations synchrones sont prises en compte sur le front montant de i_clk. Attendre la propagation des signaux avant de comparer les sorties.
i_reset est actif à 1 et asynchrone ; il remet les sorties et l’état à zéro, sauf valeur explicitement indiquée.
Buffer d’un mot. o_ready indique à la source qu’une place est disponible ; i_ready vient du consommateur. Au front, capture si i_valid and o_ready ; consommation si o_valid and i_ready (valeurs avant le front). Remplacement simultané autorisé. Sans place, conserver o_valid et o_data ; sans nouvelle capture, les données restent inchangées.

Chargement…