Verificador de Protocolo AXI

O Verificador de Protocolo AXI valida a conformidade do protocolo AXI analisando dados de traços e handshakes observados durante a simulação ou testes pós-silício. Suporta AXI3 e AXI4 e examina os canais AR/AW/W/B/R quanto à legalidade e temporização.
Ele recebe sequências de transações com campos como ID, endereço, tamanho, comprimento, tipo de burst e eventos de canal observados, e aplica uma máquina de estados finitos por canal para verificar transições permitidas, assegurar alinhamento correto e bursts não sobrepostos, marcando padrões ilegais. Quando controles de temporização estão ativados, ele compara lacunas de ciclos com orçamentos definidos pelo usuário.
A ferramenta gera um relatório de erro estruturado e uma pontuação de conformidade. Público e valor: engenheiros de verificação, desenvolvedores de IP e autores de testbenchs se beneficiam da detecção precoce de violações de protocolo, depuração mais rápida e uma checklist reproduzível para regressões. Ajuda a documentar conformidade, comparar variantes e acelerar a integração. O valor único reside em validação AXI estrita, taxonomia de violações detalhada, diagnóstico por transação e relatórios exportáveis. Conjuntos de regras configuráveis e suporte multi-variantes permitem verificação sob medida entre projetos.