Vérification avec AXI VIP
Vérifier un esclave AXI-Lite en simulation avec un agent maître, des transactions contrôlées et des assertions de protocole.
Vérifier avant la carte
Une IP AXI peut être synthétisable et rester incorrecte. Une réponse peut arriver sur le mauvais canal, un signal VALID peut dépendre de READY, ou une écriture partielle peut ignorer WSTRB.
L'AXI Verification IP, ou AXI VIP, est un composant réservé à la simulation. Il peut jouer le rôle d'un maître, d'un esclave ou d'un moniteur afin de générer des transactions et de contrôler le protocole.
Le banc de test remplace le processeur par un AXI VIP maître. Il écrit plusieurs valeurs dans le contrôleur de LED puis relit le registre.
Construire le banc de test
Le Block Design de simulation contient l'AXI VIP, l'IP à tester, une horloge et un reset. Son wrapper devient le Device Under Test, ou DUT, c'est-à-dire le bloc dont le comportement doit être vérifié.
Le testbench importe les packages générés et crée un agent à partir de l'interface hiérarchique de l'instance VIP.
import axi_vip_pkg::*;
import design_axi_vip_0_0_pkg::*;
design_axi_vip_0_0_mst_t agent;
initial begin
agent = new