[EPIC] v002 correctness, bring-up, and hardware closure tracking

[hkimw]

Goal

Track all v002 correctness, bring-up, verification, software, and hardware-closure issues in one parent issue.

Scope

This parent issue groups the full v002 bring-up plan:

• P0: spec, preprocess, GEMM/GEMV correctness, and minimal NPU_top integration
• P1: dispatcher, STAT, result writeback, GEMV/CVO verification, and synthesis baseline
• P2: software pipeline, golden model, memory, scheduler, implementation, docs, and admin tasks

Management Policy

• Sub-issues represent actual implementation or verification tasks.
• Dependencies should be used only for real blocked-by relationships.
• Development branches should be created only when work starts.
• Large model artifacts, safetensors, generated blobs, and restricted files must not be committed.

Expected Completion

This EPIC is complete when:

• All P0 blockers are resolved.
• M01 bring-up issues pass simulation or have documented blockers.
• M02 software/model/hardware closure issues have either working outputs or clear follow-up reports.
• README/docs reflect the final v002 architecture and artifact policy.

Today's progress - 2026-05-07

Evidence note: at update time, gh pr view #80-#98 reports these PRs as OPEN, so they are tracked here as session PRs queued for maintainer review/landing rather than merged into the base branch.

• docs(spec): resolve v002 quantization, K-drain, and DSP baseline #80 - docs(spec): resolve v002 quantization, K-drain, and DSP baseline.
• tb(gemm): verify W4A8 DSP dual-MAC and sign recovery #81 - tb(gemm): verify W4A8 DSP dual-MAC and sign recovery.
• build(vivado): add KV260 bitstream runbook and BD scaffold #82 - build(vivado): add KV260 bitstream runbook and BD scaffold.
• tb(npu_top): minimal end-to-end integration tb #83 - tb(npu_top): minimal end-to-end integration tb.
• tb(preprocess): bf16 to int8 e_max golden #84 - tb(preprocess): bf16 to int8 e_max golden.
• tb(gemm): validate dsp packer and sign recovery #85 - tb(gemm): validate dsp packer and sign recovery.
• feat(stat): connect engine completion to mmio_npu_stat #86 - feat(stat): connect engine completion to mmio_npu_stat.
• feat(gemv): connect lane mask and remove activation hardcode #87 - feat(gemv): connect lane mask and remove activation hardcode.
• infra(synth): add baseline recording scripts and runbook #88 - infra(synth): add baseline recording scripts and runbook.
• tb(gemv): verify reduction pipeline and sfu/l2 output mux #89 - tb(gemv): verify reduction pipeline and sfu/l2 output mux.
• feat(npu_top): connect result packer ready/valid and STORE writeback #90 - feat(npu_top): connect result packer ready/valid and STORE writeback.
• tb(gemm): re-enable fmap staggered-delay after int8 transition #91 - tb(gemm): re-enable fmap staggered-delay after int8 transition.
• tb(sched): global_scheduler hazard and chaining #92 - tb(sched): global_scheduler hazard and chaining.
• tb(memcpy): add mem_dispatcher comprehensive testbench #93 - tb(memcpy): add mem_dispatcher comprehensive testbench.
• tb(memory): verify uram l2 mapping and arbitration #94 - tb(memory): verify uram l2 mapping and arbitration.
• docs(evidence): v002.1 evidence inventory #95 - docs(evidence): v002.1 evidence inventory.
• docs(runbook): post-impl timing closure and bitstream smoke plan #96 - docs(runbook): post-impl timing closure and bitstream smoke plan.
• docs(release): v002.1-rc.0 notes draft #97 - docs(release): v002.1-rc.0 notes draft.
• docs(contrib): add CONTRIBUTING.md #98 - docs(contrib): add CONTRIBUTING.md.

Open gating items:

• Clarify the KVFPGA environment before claiming hardware reproducibility.
• Run the Vivado bitstream flow and attach/report concrete outputs.
• Resolve PR docs(spec): resolve v002 quantization, K-drain, and DSP baseline #80 CONFIRM checklist: 6 items remain before it can be treated as accepted evidence.
• Work through the user-tracked 65-PR review/merge queue; current repo check showed 20 open PRs at update time, and this EPIC remains open until review evidence is landed.