# Rtl Silicon Validation Policy

> Internal reference: rtl silicon validation policy (agent-loaded; do not invoke).

- Skill: `babyworm/rtl-silicon-validation-policy` (Agent Skill, multi-file: 2 files)
- Install (CLI): `npx skillmds@latest add babyworm/rtl-silicon-validation-policy`
- Raw SKILL.md: https://api.skillmd.com/api/skills/babyworm/rtl-silicon-validation-policy/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: AI & ML
- Author: babyworm (https://skillmd.com/u/babyworm)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/babyworm/rtl-silicon-validation-policy

---


# Silicon Validation Policy (P5B)

## Scope
- Block and top level only.

## Mandatory Checks
- Constraints quality and syntax validation
- Synthesis PASS on block/top
- CDC/timing signoff checklist pass
- Top integration precision regression PASS
- Equivalence validation when synthesis-significant optimization or ECO/refactor delta exists

## Conditional Expert Delegation (P5B)
- Invoke `equivalence-checker` when either condition is true:
  - Gate/netlist generated from updated constraints/synthesis flow must be proven equivalent to RTL
  - "Behavior-preserving" RTL ECO/refactor enters P5B signoff path
- Equivalence scope:
  - RTL-vs-netlist for synthesis outputs
  - RTL-vs-RTL for ECO/refactor delta verification
- Equivalence FAIL/UNKNOWN is signoff-blocking unless explicitly waived by user/design owner.

## Hard Gate
- P5A functional closure must be PASS before P5B can pass.