--- name: source-command-autoflow description: "Run the full gated RTL design flow from a hardware description through RTL, assertions, testbench, verification, and documentation." --- # source-command-autoflow Use this skill when the user asks for this phase of the repository's RTL design and verification workflow. ## Codex CLI execution notes - Perform the workflow below directly in Codex. Any `/phase_name` text in the source procedure is a Claude Code command label, not a Codex command or shell command. For a needed peer phase, read `.agents/skills/source-command-phase-name/SKILL.md` (replace underscores in the phase name with hyphens) and follow it directly. - Preserve the review gates stated in the procedure. In the full `/autoflow` workflow only, Gate 2 and Gate 4 may be auto-approved when their stated checks pass; Gate 1, Gate 3b, and Gate 5 still require explicit user approval. A standalone phase must follow its own confirmation steps. - These procedures assume a Linux/Bash EDA environment and many are hardcoded for `rv32im_core`. Check the requested IP, current project artifacts, and actual tool availability first. Do not reuse the RV32IM module map for the AXI downscaler or another IP without adapting it, and do not report a lint, compile, simulation, or synthesis pass unless it was actually run and its result was inspected. - `sourceme.sh` is a Bash setup script with external tool, module, and PDK assumptions; do not run it in PowerShell. If a required tool or license is unavailable, state that phase as not run and continue only where the procedure permits. - Treat `Result/` as saved snapshots, not as the active baseline for a new design. Use the current specification and artifacts selected for this task. ## Workflow source # Master Orchestrator — /autoflow **Mục tiêu:** Chạy toàn bộ RTL generation flow từ spec đến specification PDF, tự động qua các phase, dừng tại 3 gate quan trọng để human review. **Usage:** ``` /autoflow → agent hỏi chọn mode /autoflow spec/my_spec.md → [Mode A] dùng spec có sẵn /autoflow --describe → [Mode B] agent tự tạo spec từ mô tả /autoflow spec/my_spec.md --from phase3b → resume từ phase cụ thể ``` --- ## Bước 0 — Chọn Mode (nếu không có argument) Nếu user gọi `/autoflow` không có argument, hỏi: ``` Bạn muốn bắt đầu theo cách nào? [A] Tôi đã có file spec → cung cấp đường dẫn file [B] Tôi muốn mô tả design → agent sẽ tạo spec tự động Gõ A hoặc B: ``` - Nếu **A** → hỏi path file, tiếp tục Phase 1 - Nếu **B** → chạy nội dung `/spec_writer` để tạo spec, sau đó tiếp tục Phase 1 với file vừa tạo --- ## Nguyên tắc bắt buộc 1. **Không bỏ qua bất kỳ phase nào** — chạy đúng thứ tự, không shortcut. 2. **Dừng bắt buộc tại Gate 1, Gate 3b, Gate 5** — không tự ký nếu chưa có "yes" từ user. 3. **Tự ký Gate 2 và Gate 4** nếu không có lỗi — không cần hỏi lại user. 4. **RTL và TB chạy song song** sau Gate 2 — không chờ nhau. 5. **Mọi lỗi phải báo rõ** — không âm thầm bỏ qua, không tiếp tục khi có lỗi nghiêm trọng. 6. **Cập nhật status sau mỗi phase** — in progress bar để user biết đang ở đâu. --- ## Bước 0 — Pre-flight Kiểm tra trước khi bắt đầu: ``` [ ] spec_file tồn tại và có nội dung [ ] schemas/ folder tồn tại (hoặc tạo mới) [ ] .claude/commands/*.md đầy đủ (9 files) [ ] sourceme.sh có thể source được ``` In ra: ``` ╔══════════════════════════════════════════════╗ ║ RTL GEN FLOW — AUTO MODE ║ ║ Spec: ║ ║ Gates: 1 · 3b · 5 (human review) ║ ║ Auto: 2 · 3a · 4 (no prompt) ║ ╚══════════════════════════════════════════════╝ ``` --- ## Phase 1 — Spec Parser Gọi nội dung của `/spec_parser` với file spec đầu vào. Sau khi xong, in summary: ``` ── GATE 1 REVIEW ────────────────────────────── IP Name : REQ count : requirements Ambiguity : needs_human_decision Modules : RTL modules mapped SVA hints : assertions planned structured_spec.json → schemas/ ──────────────────────────────────────────────── Approve Gate 1? (yes / no — 'no' để sửa spec rồi chạy lại) ``` **Dừng — chờ user gõ "yes".** Nếu "no" → dừng flow, thông báo user chỉnh spec rồi chạy lại `/autoflow`. --- ## Phase 2 — Config UI (Auto) Gọi nội dung của `/config_ui`. Dùng default values cho tất cả parameter trừ khi user đã cung cấp overrides trong spec hoặc comment trước khi chạy. Tự ký Gate 2 nếu không có lỗi. In: ``` ✓ Gate 2 auto-signed — final_config.json saved Parameters: locked ``` --- ## Phase 3a + Phase 4 — RTL Generator & Testbench (Song song) Thông báo: ``` ── PARALLEL EXECUTION ───────────────────────── [3a] /rtl_generator → src/rtl/ + lint + synth [ 4] /tb_generator → src/tb/ + testplan (chạy độc lập, không chờ nhau) ──────────────────────────────────────────────── ``` Chạy **Phase 3a trước**, sau đó chạy **Phase 4**. > Lưu ý: Trong session đơn, chạy tuần tự nhưng không phụ thuộc kết quả nhau — 3a xong report, 4 chạy tiếp ngay. **Phase 3a — RTL Generator:** - Gọi nội dung `/rtl_generator` - Lint check bắt buộc (0 warnings) - Synthesis nếu tool có sẵn - In kết quả: modules, cells, area **Phase 4 — Testbench:** - Gọi nội dung `/tb_generator` - Tự ký Gate 4 nếu compile check pass - In: số TC, coverage REQ-IDs --- ## Phase 3b — SVA Generator Gọi nội dung `/sva_generator`. Sau khi xong, in summary và **dừng**: ``` ── GATE 3b REVIEW ───────────────────────────── SVA properties : generated Vacuous (smoke) : chưa được kích hoạt Compile check : PASS / FAIL Review file : src/sva/GATE3_REVIEW.md ⚠ Hãy đọc GATE3_REVIEW.md trước khi approve. ──────────────────────────────────────────────── Approve Gate 3b? (yes / no) ``` **Dừng — chờ user gõ "yes".** --- ## Phase 5 — Verification Gọi nội dung `/verification`. Bao gồm: - Compile TB (VCS) - Run simulation tất cả TC - Mutation testing (nếu có Yosys) - Sign-off eligible REQ-IDs Sau khi xong, in summary và **dừng**: ``` ── GATE 5 REVIEW ────────────────────────────── Simulation : / PASS | FAIL: SVA : 0 violations Mutation : REQ-IDs tested Sign-off : / REQ-IDs eligible verification_report.json → schemas/ ──────────────────────────────────────────────── Sign off Gate 5? (yes / no) ``` **Dừng — chờ user gõ "yes".** Nếu có TC FAIL → **không cho phép sign Gate 5**, báo lỗi và dừng. --- ## Phase 6 — Specification PDF Gọi nội dung `/spec_pdf_generator`. In kết quả cuối: ``` ╔══════════════════════════════════════════════╗ ║ FLOW COMPLETE ✓ ║ ╠══════════════════════════════════════════════╣ ║ Gate 1 ✓ structured_spec.json ║ ║ Gate 2 ✓ final_config.json ║ ║ Gate 3a ✓ src/rtl/ ( modules) ║ ║ Gate 3b ✓ src/sva/ ( properties) ║ ║ Gate 4 ✓ src/tb/ ( TCs) ║ ║ Gate 5 ✓ verification_report.json ║ ║ Phase 6 ✓ docs/specification.pdf ║ ╠══════════════════════════════════════════════╣ ║ Sim result : / PASS ║ ║ Sign-off : / REQ-IDs ║ ║ RTL cells : ║ ╚══════════════════════════════════════════════╝ ``` --- ## Xử lý lỗi | Tình huống | Hành động | |------------|-----------| | spec_file không tồn tại | Dừng ngay, thông báo rõ path | | Gate 1 ambiguity > 0.6 | Dừng, liệt kê các REQ cần làm rõ | | Lint FAIL | Dừng Phase 3a, không tiếp tục sang 3b/5 | | Compile TB FAIL | Dừng Phase 4, không tiếp tục sang Phase 5 | | TC FAIL trong sim | Dừng trước Gate 5, liệt kê TC nào fail | | User gõ "no" ở bất kỳ gate | Dừng sạch, in hướng dẫn fix rồi chạy lại | | Phase bị interrupt | In trạng thái cuối, hướng dẫn resume từ phase đó | --- ## Resume từ phase cụ thể Nếu flow bị interrupt, user có thể resume: ``` /autoflow --from phase3b # bắt đầu lại từ SVA /autoflow --from phase5 # bắt đầu lại từ verification /autoflow --from phase6 # chỉ gen PDF ``` Agent đọc schemas/ để biết gate nào đã ký, bắt đầu từ phase được chỉ định.