together2329 IP ROCEV Mini Run
Use this skill for one IP directory.
Procedure
- Read the requirement files under
<ip>/req/. - Identify one requirement and split it into one or two obligations.
- Name the contract that judges each obligation.
- Inspect evidence on disk.
- State validation as closed, not closed, or needs more evidence.
Evidence To Check
IP=<ip>
ls -lh "$IP/req/locked_truth.md" "$IP/req/obligations.json" "$IP/req/evidence_plan.json"
ls -lh "$IP/verify/equivalence_goals.json"
ls -lh "$IP/rtl/rtl_compile.json" "$IP/lint/dut_lint.json"
ls -lh "$IP/sim/results.xml" "$IP/sim/scoreboard_events.jsonl"
ls -lh "$IP/cov/coverage.json" "$IP/sim/"*.vcd
ls -lh "$IP/verify/formal_status.json"
Missing files are evidence gaps, not failures by themselves.
Report Shape
Requirement:
Obligation:
Contract:
Evidence:
- path:
verdict:
Validation:
closed | not closed | needs more evidence
Gap:
Local Example
For pwm_gen_cx1, do not stop at sim/results.xml.
Useful evidence:
pwm_gen_cx1/req/locked_truth.mdpwm_gen_cx1/req/obligations.jsonpwm_gen_cx1/req/evidence_plan.jsonpwm_gen_cx1/verify/equivalence_goals.jsonpwm_gen_cx1/rtl/rtl_compile.jsonpwm_gen_cx1/lint/dut_lint.jsonpwm_gen_cx1/sim/results.xmlpwm_gen_cx1/sim/scoreboard_events.jsonlpwm_gen_cx1/cov/coverage.jsonpwm_gen_cx1/sim/pwm_gen_cx1.vcd
The important teaching point: compile, lint, sim, and scoreboard evidence can exist while validation remains open because coverage is blocked.