FallenSigh
5a7d5d6a47
Phase 1 of migrating mlkem_top's large arrays to inferable RAM. ek_mem
and dkp_mem reg arrays are replaced by two sd_bram instances (1R/1W,
registered read). Datapath changes to fit single-port-per-cycle BRAM:
- ST_E writes 1 byte/cycle (was 3): added e_byte sub-counter; ST_E
length ~3x (K=2 KeyGen 21403->22433 cyc, ~5%).
- ST_H ek read is now registered: assemble phase presents the address
one cycle ahead and writes back the byte that arrived (h_wb_* pipe),
h_byte runs 0..136 to flush the final byte. Pad bytes via h_padconst.
- dbg_byte_o/dbg_dk_o read combinationally off the BRAM registered
output (net 1-cycle latency, within the TB's 2-cycle read wait);
region decode for dk readback unchanged.
Add sd_bram.v to the top TB compile list. Verified byte-exact vs NIST
KAT: K=2 c0-4, K=3 c0-2, K=4 c0-2 -> 11/11 PASS, 0 file-not-found.
45 lines
1.9 KiB
Tcl
45 lines
1.9 KiB
Tcl
# xsim_run.tcl - Vivado XSIM for mlkem_top ML-KEM KeyGen, all K in {2,3,4}.
|
|
#
|
|
# Compiles the full KeyGen datapath + leaf modules, then runs the parametric
|
|
# NIST KAT testbench for ML-KEM-512 (K=2), 768 (K=3), 1024 (K=4). Each case
|
|
# verifies ek==KAT.pk and dk==KAT.sk byte-exact.
|
|
#
|
|
# ./run_tb.sh top
|
|
|
|
# ---- Step 1: compile RTL ----
|
|
xvlog -sv --relax -i . sync_rtl/sha3/keccak_round.v
|
|
xvlog -sv --relax -i . sync_rtl/sha3/keccak_core.v
|
|
xvlog -sv --relax -i . sync_rtl/sha3/sha3_top.v
|
|
xvlog -sv --relax -i . sync_rtl/sample_ntt/sample_ntt_sync.v
|
|
xvlog -sv --relax -i . sync_rtl/sample_cbd/sample_cbd_sync.v
|
|
xvlog -sv --relax -i . sync_rtl/ntt/barrett_mul.v
|
|
xvlog -sv --relax -i . sync_rtl/ntt/zeta_rom.v
|
|
xvlog -sv --relax -i . sync_rtl/ntt/butterfly_unit.v
|
|
xvlog -sv --relax -i . sync_rtl/ntt/ntt_core.v
|
|
xvlog -sv --relax -i . sync_rtl/poly_mul/basecase_mul.v
|
|
xvlog -sv --relax -i . sync_rtl/poly_mul/poly_mul_zeta_rom.v
|
|
xvlog -sv --relax -i . sync_rtl/poly_mul/poly_mul_sync.v
|
|
xvlog -sv --relax -i . sync_rtl/storage/sd_bram.v
|
|
xvlog -sv --relax -i . sync_rtl/top/mlkem_top.v
|
|
|
|
# ---- Step 2: compile parametric KAT testbench ----
|
|
xvlog -sv --relax sync_rtl/top/TB/tb_mlkem_kg_katK_xsim.v
|
|
|
|
# ---- Step 3: elaborate one snapshot per K ----
|
|
xelab tb_mlkem_kg_katK_xsim -generic_top KP=2 -s mlkem_kg_k2 --timescale 1ns/1ps
|
|
xelab tb_mlkem_kg_katK_xsim -generic_top KP=3 -s mlkem_kg_k3 --timescale 1ns/1ps
|
|
xelab tb_mlkem_kg_katK_xsim -generic_top KP=4 -s mlkem_kg_k4 --timescale 1ns/1ps
|
|
|
|
# ---- Step 4: run KAT cases (K=2: 0..4, K=3/4: 0..2) ----
|
|
xsim mlkem_kg_k2 -R -testplusarg CASE=0
|
|
xsim mlkem_kg_k2 -R -testplusarg CASE=1
|
|
xsim mlkem_kg_k2 -R -testplusarg CASE=2
|
|
xsim mlkem_kg_k2 -R -testplusarg CASE=3
|
|
xsim mlkem_kg_k2 -R -testplusarg CASE=4
|
|
xsim mlkem_kg_k3 -R -testplusarg CASE=0
|
|
xsim mlkem_kg_k3 -R -testplusarg CASE=1
|
|
xsim mlkem_kg_k3 -R -testplusarg CASE=2
|
|
xsim mlkem_kg_k4 -R -testplusarg CASE=0
|
|
xsim mlkem_kg_k4 -R -testplusarg CASE=1
|
|
xsim mlkem_kg_k4 -R -testplusarg CASE=2
|