rtl-p5s-func-verify

What problem does it solve?

Eliminates manual, ad-hoc functional verification by orchestrating cocotb multi-seed regressions that compare RTL simulation outputs against C/Python reference models and produce consolidated pass/fail and coverage results.

Core Features & Use Cases

• Multi-seed Regression Orchestration: Launches and manages multiple seeded cocotb runs in parallel or sequential mode to surface intermittent failures.
• Coverage Merge & Analysis: Merges per-seed coverage artifacts into a single report and annotated source view.
• Requirement Traceability: Generates a Requirement Traceability Matrix linking requirements/acceptance criteria to test cases and verdicts.
• Use Case: Run module-level regressions for an RTL module with existing SystemVerilog sources and a Python/C reference model to verify bit-exact behavior across randomized seeds.

Quick Start

Invoke the skill with a module name and optional seed list, for example: /rtl-agent-team:rtl-p5s-func-verify top --seeds="1 42 123".