sk Skill · kiranreddi
sentinel-dv-coverage-closure
Plan and assess SystemVerilog functional, assertion, code, toggle, and FSM coverage closure with Sentinel DV MCP tools. Use when asked to find important gaps, explain stalled or regressing coverage, prioritize bins, evaluate vacuous assertions, generate protocol-aware constraint candidates, or define evidence-backed closure acceptance criteria.
Open on skills.sh ↗read 2026-09-17
- installs 8w
- 0
- 30-day movement
- starts with the next reading
- Related entries
- 2
- Connections
- 0
Python
- Host repository
- kiranreddi/sentinel-dv
- Host stars
- 4
- Host language
- Python