rtl-p5s-protocol-verify

What problem does it solve?

Protocol conformance for RTL bus interfaces (AXI, AHB, APB) is critical for reliable SoC integration; this skill validates those interfaces using formal SVA assertions and simulation-based protocol checking to catch violations early.

Core Features & Use Cases

• Formal SVA-based protocol assertion generation for AXI, AHB, and APB interfaces.
• Simulation-based protocol checking with violation reporting and artifact generation (protocol-report.md and formal/{bus}_assertions.sv).
• Use Case: verify protocol compliance during RTL development and prior to SoC integration, and investigate violations surfaced in simulation.

Quick Start

Run the protocol orchestrator to generate AXI/AHB/APB protocol assertions and perform simulation checks, producing a protocol-report and assertion files.