Vérificateur de Protocole AXI

Le Vérificateur de Protocole AXI valide la conformité AXI en analysant les traces et les handshakes observés pendant la simulation ou les tests post-silicium. Il prend en charge AXI3 et AXI4 et examine les canaux AR/AW/W/B/R pour la légalité et le timing.
Il ingère des séquences de transactions avec des champs tels que ID, adresse, taille, longueur, type de burst et les événements de canal observés, puis applique une machine à états finis par canal pour vérifier les transitions autorisées, assure l'alignement correct et non chevauchement des bursts, et signale les motifs illégaux. Lorsque les vérifications de timing sont activées, il compare les gaps de cycles avec les budgets définis par l'utilisateur.
L'outil produit un rapport d'erreur structuré et un score de conformité. Public visé et valeur: ingénieurs de vérification, développeurs IP et auteurs de testbenchs bénéficient d'une détection précoce des violations de protocole, d'un débogage plus rapide et d'une checklist reproductible pour les régressions. Il aide à documenter la conformité, à comparer les variantes et à accélérer l'intégration. La valeur unique réside dans une validation AXI stricte, une taxonomie détaillée des violations, une diagnostique par transaction et des rapports exportables. Des ensembles de règles configurables et le support multi-variantes permettent une vérification adaptée sur les projets.