# 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 同理
