How avikmaj/soc-dv-agent-stack works
SoC DV Agent Stack is a vendor-neutral set of AI-agent skills and project-local Claude Code/Codex adapters for ASIC and SoC design verification. Engineers provide design specifications, source, and tool evidence; agents produce plans, reviews, closure analyses, and signoff assessments. The optional Cupel layer organizes evidence-gated verification roles and verdicts. The README documents canonical skills, adapters, schemas, templates, and safety tooling; sampled source confirms adapter synchronization, validation, and safe tool execution. Skill internals were not sampled, so skill-to-skill wiring is intentionally omitted.
Main entry points: skills Canonical Skills · spec-to-vplan/SKILL.md Spec Planning · coverage-closure/SKILL.md Coverage Closure · regression-triage/SKILL.md Regression Triage
Components 22
Agent Access
- Claude Adapter
.claude/skills - Codex Adapter
.agents/skills - Canonical Skills
skills
DV Workflows
- Spec Planning
skills/spec-to-vplan/SKILL.md - Design Review
skills/rtl-design-review/SKILL.md - UVM Architecture
skills/uvm-env-architect/SKILL.md - Integration Verification
skills/soc-integration-verification/SKILL.md - Formal And CDC
skills/formal-sva/SKILL.md - Low Power
skills/low-power-upf/SKILL.md - Coverage Closure
skills/coverage-closure/SKILL.md - Regression Triage
skills/regression-triage/SKILL.md - Signoff Audit
skills/signoff-audit/SKILL.md
Evidence Artifacts
- Artifact Schemas
schemas - Artifact Templates
templates - Safe Tool Runner
scripts/run_tool.py
Cupel Organisation
- Case Marshal
orgs/cupel/agents/case-marshal.md - Review Departments
orgs/cupel/agents - Evidence Vault
orgs/cupel/agents/evidence-vault.md - Challenge Chamber
orgs/cupel/agents/challenge-chamber.md - Final Verdict
orgs/cupel/schemas/final-verdict.schema.json
Other components
- DV Engineer
- Project DV Tools
Connections 28
- DV Engineer → Claude Adapter: invokes
- DV Engineer → Codex Adapter: invokes
- Claude Adapter → Canonical Skills: adapts
- Codex Adapter → Canonical Skills: adapts
- Canonical Skills → Spec Planning: provides skill
- Canonical Skills → Design Review: provides skill
- Canonical Skills → UVM Architecture: provides skill
- Canonical Skills → Integration Verification: provides skill
- Canonical Skills → Formal And CDC: provides skill
- Canonical Skills → Low Power: provides skill
- Canonical Skills → Coverage Closure: provides skill
- Canonical Skills → Regression Triage: provides skill
- Canonical Skills → Signoff Audit: provides skill
- DV Engineer → Spec Planning: submits specification
- DV Engineer → Design Review: submits design
- Spec Planning → Artifact Schemas: uses contracts
- Spec Planning → Artifact Templates: uses examples
- Safe Tool Runner → Project DV Tools: executes approved
- DV Engineer → Safe Tool Runner: requests run
- Project DV Tools → Regression Triage: returns evidence
- Project DV Tools → Coverage Closure: returns reports
- Coverage Closure → Signoff Audit: informs assessment
- Regression Triage → Signoff Audit: informs assessment
- DV Engineer → Case Marshal: invokes optionally
- Case Marshal → Review Departments: routes review
- Review Departments → Evidence Vault: registers evidence
- Evidence Vault → Challenge Chamber: mints records
- Challenge Chamber → Final Verdict: issues verdict