diff --git a/.trellis/tasks/archive/2026-06/06-27-kg-en-de-separate-tb/check.jsonl b/.trellis/tasks/archive/2026-06/06-27-kg-en-de-separate-tb/check.jsonl new file mode 100644 index 0000000..9dd3234 --- /dev/null +++ b/.trellis/tasks/archive/2026-06/06-27-kg-en-de-separate-tb/check.jsonl @@ -0,0 +1 @@ +{"_example": "Fill with {\"file\": \"\", \"reason\": \"\"}. Put spec/research files only — no code paths. Run `python3 .trellis/scripts/get_context.py --mode packages` to list available specs. Delete this line once real entries are added."} diff --git a/.trellis/tasks/archive/2026-06/06-27-kg-en-de-separate-tb/implement.jsonl b/.trellis/tasks/archive/2026-06/06-27-kg-en-de-separate-tb/implement.jsonl new file mode 100644 index 0000000..9dd3234 --- /dev/null +++ b/.trellis/tasks/archive/2026-06/06-27-kg-en-de-separate-tb/implement.jsonl @@ -0,0 +1 @@ +{"_example": "Fill with {\"file\": \"\", \"reason\": \"\"}. Put spec/research files only — no code paths. Run `python3 .trellis/scripts/get_context.py --mode packages` to list available specs. Delete this line once real entries are added."} diff --git a/.trellis/tasks/archive/2026-06/06-27-kg-en-de-separate-tb/prd.md b/.trellis/tasks/archive/2026-06/06-27-kg-en-de-separate-tb/prd.md new file mode 100644 index 0000000..3b77426 --- /dev/null +++ b/.trellis/tasks/archive/2026-06/06-27-kg-en-de-separate-tb/prd.md @@ -0,0 +1,18 @@ +# KG/EN/DE 独立测试脚本 + +## Goal +编写3个独立测试:`./run_tb.sh kg`、`./run_tb.sh en`、`./run_tb.sh de`,各自只测试一个操作。 + +## Files to create + +| 文件 | 说明 | +|------|------| +| `sync_rtl/top/TB/tb_kg_xsim.v` | KeyGen only testbench | +| `sync_rtl/top/TB/tb_en_xsim.v` | Encaps only testbench | +| `sync_rtl/top/TB/tb_de_xsim.v` | Decaps only testbench | +| `sync_rtl/top/TB/xsim_run_kg.tcl` | KeyGen compile script | +| `sync_rtl/top/TB/xsim_run_en.tcl` | Encaps compile script | +| `sync_rtl/top/TB/xsim_run_de.tcl` | Decaps compile script | + +## Design +共享向量文件,各自只读取对应字段做单一操作测试。从 mlkem_top TB 派生,精简到只测一个操作。 diff --git a/.trellis/tasks/archive/2026-06/06-27-kg-en-de-separate-tb/task.json b/.trellis/tasks/archive/2026-06/06-27-kg-en-de-separate-tb/task.json new file mode 100644 index 0000000..96f04c1 --- /dev/null +++ b/.trellis/tasks/archive/2026-06/06-27-kg-en-de-separate-tb/task.json @@ -0,0 +1,26 @@ +{ + "id": "kg-en-de-separate-tb", + "name": "kg-en-de-separate-tb", + "title": "编写KG/EN/DE独立测试脚本", + "description": "", + "status": "completed", + "dev_type": null, + "scope": null, + "package": null, + "priority": "P2", + "creator": "FallenSigh", + "assignee": "FallenSigh", + "createdAt": "2026-06-27", + "completedAt": "2026-06-27", + "branch": null, + "base_branch": "main", + "worktree_path": null, + "commit": null, + "pr_url": null, + "subtasks": [], + "children": [], + "parent": null, + "relatedFiles": [], + "notes": "", + "meta": {} +} \ No newline at end of file