Verificatore del Protocollo AXI

Il Verificatore AXI controlla la conformità al protocollo AXI analizzando i dati di trace e gli handshakes osservati durante simulazioni o test. Supporta AXI3 e AXI4, esamina i canali AR/AW/W/B/R per legalità e timings.
Accetta sequenze di transazioni con campi quali ID, indirizzo, dimensione, lunghezza, tipo di burst e gli eventi di canale osservati, quindi applica una macchina a stati finiti per canale per verificare transizioni consentite, garantire allineamento corretto e burst non sovrapposti, segnalando modelli illegali. Se i controlli di timing sono attivi, confronta gli intervalli di ciclo con budget definiti dall'utente.
Lo strumento genera un rapporto di errore strutturato e un punteggio di conformità. Destinatari e valore: ingegneri di verifica, sviluppatori IP e autori di testbench traggono beneficio dall’individuazione precoce di violazioni, debugging più rapido e una checklist riproducibile per regressioni. Aiuta a documentare la conformità, confrontare varianti e accelerare l’integrazione. Il valore unico risiede in una validazione AXI rigorosa, tassonomia dettagliata delle violazioni, diagnostica per transazione e report esportabili. Set di regole configurabili e supporto multi-variant rendono possibile una verifica su misura per progetti differenti.