Verificador de Protocolo AXI

El Verificador de Protocolo AXI valida la conformidad analizando datos de trazas y handshakes observados durante la simulación o pruebas pos-silicio. Soporta AXI3 y AXI4 y examina los canales AR/AW/W/B/R para legalidad y temporización.
Recibe secuencias de transacciones con campos como ID, dirección, tamaño, longitud, tipo de burst y los eventos de canal observados, y aplica una máquina de estados finitos por canal para verificar transiciones permitidas, asegura alineación adecuada y bursts que no se superponen, y marca patrones ilegales. Si las comprobaciones de temporización están activadas, compara los huecos en ciclos con presupuestos definidos por el usuario.
La herramienta genera un informe de errores estructurado y una puntuación de conformidad. Público y valor: ingenieros de verificación, desarrolladores de IP y autores de testbenches se benefician de detección temprana de violaciones de protocolo, depuración más rápida y una lista de verificación reproducible para regresiones. Ayuda a documentar la conformidad, comparar variantes y acelerar la integración. El valor único reside en validación AXI estricta, taxonomía detallada de violaciones, diagnóstico por transacción y informes exportables. Conjuntos de reglas configurables y soporte multi-variantes permiten verificación a medida entre proyectos.