AXI-Protokollprüfer

Der AXI-Protokollprüfer validiert die AXI-Protokoll-Compliance, indem er Trace-Daten und beobachtete Handshakes während der Simulationen oder nach dem Siliziumtest analysiert. Er unterstützt AXI3 und AXI4 und untersucht AR/AW/W/B/R-Kanäle auf Rechtskonformität und Timing.
Er nimmt Transaktionssequenzen mit Feldern wie ID, Adresse, Size, Length, Burst-Typ und beobachtete Kanal-Ereignisse entgegen, wendet eine pro-Kanal-Finite-State-Machine an, um zulässige Übergänge zu prüfen, stellt korrekte Ausrichtung sicher und verhindert überlappende Bursts; illegale Muster werden markiert. Wenn Timing-Prüfungen aktiviert sind, vergleicht er die Zyklusabstände mit vom Benutzer festgelegten Budgets.
Das Tool erzeugt einen strukturierten Fehlbericht und eine Konformitätsbewertung. Zielgruppe und Nutzen: Verifikationsingenieure, IP-Entwickler und Testbench-Autoren profitieren von einer frühzeitigen Erkennung von Protokollverletzungen, schnellerem Debugging und einer reproduzierbaren Checkliste für Regressionen. Es hilft, Konformität zu dokumentieren, Varianten zu vergleichen und die Integration zu beschleunigen. Der einzigartige Wert liegt in strenger AXI-Basisvalidierung, detaillierter Verstoß-Taxonomie, transaktionsbasierter Diagnostik und exportierbaren Berichten. Konfigurierbare Regelsets und Multi-Variant-Unterstützung ermöglichen maßgeschneiderte Verifikation über Projekte hinweg.