Prerequisites
RTL modules with bus interfaces required:
rtl/**/*.svfiles must exist with AXI/AHB/APB interface signals
If prerequisite is missing: WARNING — recommend running /rtl-agent-team:rtl-p4-implement.
Proceed with available artifacts — orchestrator will adapt scope.
Execution
Task(subagent_type="rtl-agent-team:p5s-protocol-orchestrator", prompt="Execute protocol compliance verification. User input: $ARGUMENTS")
Do not perform any work directly. The orchestrator agent manages bus interface identification, SVA protocol assertion generation, simulation-based checking, and violation reporting.