fallensigh/mlkem-sync
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

chore(task): archive 06-27-fix-tb-strict-compare

Browse Source
This commit is contained in:
FallenSigh
2026-06-27 01:48:14 +08:00
parent 5e0ba7ad77
commit d61efc96c3
4 changed files with 38 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
.trellis/tasks/archive/2026-06/06-27-fix-tb-strict-compare/prd.md Normal file
View File

@@ -0,0 +1,10 @@
# TB 严格数值比较
## Goal
修改 tb 中 PASS/FAIL 逻辑：仅当 pk/sk/ct/ss 与 KAT 期望值**数值匹配**才算 PASS，FSM 跑通但数值不匹配算 FAIL。
## Fix
在 `sync_rtl/top/TB/tb_mlkem_top_xsim.v` 中：
- 删除 "structural pass" 逻辑（line 320 附近）
- WARN 分支改为 `kg_fail++` 而非 `kg_pass++`
- Encaps/Decaps 同理