packages/chip/docs/project/three-week-execution-plan.md
This plan assumes aggressive parallel work, but it does not assume impossible silicon. The finish line is a complete, reproducible prototype package for an open Android-capable SoC research platform:
e1_soc verification pipeline| Workstream | Deliverable | Gate |
|---|---|---|
| Specs | docs/spec-db/mobile-sota-2026.yaml | source URLs and no pinout-clone claims |
| RTL | current e1_soc passes smoke | make smoke |
| Verification | cocotb/formal/Verilator evidence | make ci-fast where tools exist |
| Toolchain | .venv baseline and tool inventory | scripts/check_tools.sh and scripts/tool_versions.sh |
| Android | simulator and AOSP contract doc | make aosp-bsp-check |
| Benchmarks | benchmark matrix and report schema | benchmark doc exists and has claim levels |
| Risk | v0 exclusions and mitigation list | risk register exists |
| Workstream | Deliverable | Gate |
|---|---|---|
| Chipyard | selected baseline config for Rocket/BOOM/CVA6 | bootstrap script or documented blocker |
| Toolchain | OpenLane2/Chipyard/OSS CAD Suite pin decision | selected tags/SHAs or explicit release blockers |
| NPU | Gemmini/NVDLA path decision | operator and TFLite/MLPerf subset plan |
| Software | Linux driver/runtime smoke for e1 NPU | deterministic vector test |
| Android | HAL stub map and build notes | no undocumented device nodes |
| Benchmarks | scripts for CoreMark/STREAM/lmbench/fio/TFLite | dry-run or documented missing tool |
| Workstream | Deliverable | Gate |
|---|---|---|
| Simulator | QEMU/Renode contract smoke | make qemu-check renode-check |
| RTL | full local CI evidence | make ci-local where tools exist |
| Android | runnable simulator recipe | command transcript and boot artifact list |
| Board | TH1520 procurement and board test plan | exact board, image, and benchmark plan |
| Release | archive package | make archive-release after pipeline evidence exists |
.venv; user-site Python is a
temporary unblocker and must be named in status notes.build/reports/tool_versions.txt.ubuntu:24.04, nixos-unstable,
default-branch OpenLane2, and default-branch Chipyard remain blockers until
pinned by digest, lockfile, tag, SHA, or checksum.make mvp-status is the cross-workstream summary gate: every subsystem must
show PASS, BLOCK, or FAIL with evidence and a next command.docs/project/workstream-gap-review.md is the backlog gate for stubs,
scaffolds, LARPs, incomplete work, untested claims, not-implemented areas, and
complete gaps. It must not be used as proof that subsystem gates passed.Each check-in should answer only four questions:
This prevents the project from drifting into aspirational architecture writing.
The plan artifacts are part of smoke, not optional reading. make smoke runs
scripts/check_project_plan.py, which now checks that benchmark, Android, and
board artifacts keep their safety boundaries:
sw/platform/e1_platform_contract.json
and the make aosp-bsp-check evidence path,Release archives should carry the project-plan artifacts with the generated RTL and verification evidence, so a reviewer can reproduce both the commands and the claim boundaries from the archive alone.