rtl-p5-verify
Skillby babyworm
Phase 5 verification orchestrator: three-stage (module→top→final) parallel verification pipeline covering lint, SVA/formal, CDC, protocol, functional regression, coverage, performance, synthesizability estimation, and code review.
Details
- Path
- skills/rtl-p5-verify/SKILL.md
- Allowed tools
- 7
- Dependencies
- 2
Allowed tools
BashReadWriteEditTaskGrepGlob