Skill

verification-recheck-policy

Defines minimum re-verification matrix for RTL changes by type (style, logic refactor, interface, synthesis-impact), specifying lint, CDC, functional regression, synthesis, equivalence checks with commands and pass/fail criteria.

Bash

testing

code-quality

Install

npx claudepluginhub babyworm/rtl-agent-team --plugin rtl-agent-team

Tool Access

This skill uses the workspace's default tool permissions.

Preview

- Style-only change: lint

SKILL.md

Similar Skills

design-system

Generates design tokens/docs from CSS/Tailwind/styled-components codebases, audits visual consistency across 10 dimensions, detects AI slop in UI.

team-skills-platform

163.7k

ui-demo

Records polished WebM UI demo videos of web apps using Playwright with cursor overlay, natural pacing, and three-phase scripting. Activates for demo, walkthrough, screen recording, or tutorial requests.

team-skills-platform

163.7k

kotlin-patterns

Delivers idiomatic Kotlin patterns for null safety, immutability, sealed classes, coroutines, Flows, extensions, DSL builders, and Gradle DSL. Use when writing, reviewing, refactoring, or designing Kotlin code.

team-skills-platform

163.7k

Stats

Stars12

Forks3

Last CommitApr 8, 2026

Actions

View Source View Plugin View on GitHub View README

Verification Recheck Policy

Minimum Matrix

Style-only change: lint
Logic refactor (behavior-preserving intent): lint + functional smoke/regression + RTL-vs-RTL equivalence
Interface-impact change: lint + cdc + functional regression (+ equivalence when change is declared behavior-preserving)
Constraint/synthesis-impact change: lint + cdc + functional + synthesis/timing rerun + equivalence (RTL-vs-netlist or RTL-vs-RTL)

Recommended Commands (open-source baseline)

Lint:
- lint/scripts/run_lint.sh --tool verilator -f rtl/filelist_top.f --outdir lint/lint
CDC:
- lint/scripts/run_cdc.sh --tool structural --top <top> -f rtl/filelist_top.f --outdir lint/cdc
Functional smoke/regression:
- scripts/run_sim.sh --sim verilator --top <tb_top> -f rtl/filelist_top.f --outdir sim/reports
- bash skills/rtl-p5s-func-verify/scripts/run_regression.sh --mode local --seeds "1 42 123 1337 65536" --sim verilator
Synthesis/timing recheck:
- syn/scripts/run_syn.sh --tool yosys --top <top> -f rtl/filelist_top.f
- If STA wrapper exists: syn/scripts/run_sta.sh --tool opensta --top <top> --outdir syn/rpt
Equivalence recheck:
- Delegate to equivalence-checker with context:
  - RTL-vs-RTL after refactor/ECO (reference=<pre-change>, implementation=<post-change>)
  - RTL-vs-netlist after synthesis-impact change (reference=rtl, implementation=syn/netlist.v)

Pass/Fail Criteria

lint: zero errors
cdc: no unwaived VIOLATION
functional: all must-pass scenarios green
regression: all required seeds pass (or documented waiver)
synthesis/timing: run completes with no fatal tool error
equivalence: no unresolved non-equivalent points (counterexamples must be resolved or approved as intentional deltas)

Escalation

Same category fails twice after fix attempts: escalate with replay script path
CDC or synthesis/timing failure after interface change: escalate to design owner
Missing replay artifacts: re-run command to generate reproducible evidence
Equivalence FAIL/UNKNOWN after behavior-preserving claim: escalate immediately (potential unintended semantic change)

Output Format

# Recheck Report
- Change Type: [style|logic|interface|constraint]
- Verdict: PASS | FAIL

## Executed Checks
| Check | Command | Result | Artifact |
|---|---|---|---|

## Failures and Escalation
- [if any]