# Rtl P5s Uvm Verify

> P5 UVM verification on commercial simulators (VCS/Questa/Xcelium). Use when UVM methodology or constrained-random sequences/scoreboards are mandated.

- Skill: `babyworm/rtl-p5s-uvm-verify` (Agent Skill, multi-file: 6 files)
- Install (CLI): `npx skillmds@latest add babyworm/rtl-p5s-uvm-verify`
- Raw SKILL.md: https://api.skillmd.com/api/skills/babyworm/rtl-p5s-uvm-verify/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: babyworm (https://skillmd.com/u/babyworm)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/babyworm/rtl-p5s-uvm-verify

---


<Purpose>
Run a UVM-based verification environment on the target RTL using a commercial simulator
(VCS, Questa, or Xcelium). Outputs are timestamped under `sim/uvm/regression/`
with merged vendor coverage artifacts under `sim/uvm/coverage/`.

See `references/uvm-architecture.md` for UVM component hierarchy, phase order,
simulator compile commands, and agent template with project naming conventions.
</Purpose>

<Use_When>
- Project mandates UVM methodology
- Commercial simulator is available and licensed
- Complex protocol verification requiring UVM sequences and scoreboards
- Constrained-random verification with UVM agents is required
</Use_When>

<Do_Not_Use_When>
- Commercial simulator not available (use rtl-p4s-unit-test or rtl-p5s-func-verify instead)
- Simple directed tests sufficient (UVM overhead not justified)
- Open-source-only tool constraint (use cocotb via rtl-p5s-func-verify)
</Do_Not_Use_When>

<Why_This_Exists>
UVM provides reusable, scalable verification infrastructure for complex designs.
When a commercial simulator is available, UVM delivers constrained-random coverage
closure that directed testing cannot match for large state spaces.
</Why_This_Exists>

## Prerequisites

Commercial simulator required:
- One of VCS, Questa (vsim), or Xcelium (xrun) must be available

If prerequisite is missing: WARNING — commercial simulator not found.
Use `/rtl-agent-team:rtl-p5s-func-verify` (cocotb/Verilator) instead.

## Execution

Task(subagent_type="rtl-agent-team:p5s-uvm-orchestrator",
     prompt="Execute UVM verification. User input: $ARGUMENTS")

Do not perform any work directly.
The orchestrator agent manages simulator availability checking, UVM environment
generation, compilation, test execution, and coverage collection.

## Output

- `sim/uvm/regression/run_{timestamp}/seed_{seed}_results.json` — per-seed pass/fail result and log path for this run only
- `sim/uvm/regression/regression_{module}_{timestamp}.json` — aggregate regression report and verdict
- `sim/uvm/coverage/` — merged functional and code coverage vendor artifacts
- `reviews/phase-5-verify/{module}-uvm-review.md` — UVM verification review with coverage analysis

The runner reports `coverage_status=MERGED` only when per-seed coverage exists and the
vendor merge command succeeds. Coverage percentage targets are evaluated downstream by
the coverage-analysis gate.