mlkem-sync

Files

FallenSigh b7e4fd9323 test(top): add kat_k2_* vectors with uniform prefix for parametric TB

The parametric KAT TB (KP generic) builds filenames kat_k<K>_c<n>_*.hex, but
the K=2 vectors were committed earlier as kat_c<n>_*.hex (no k2 prefix), so
run_tb.sh top emitted 'file cannot be opened' warnings for K=2 and the data
read as X. Add kat_k2_* copies so all three parameter sets load cleanly.

./run_tb.sh top now: 0 file warnings, all 11 cases PASS (K=2:0..4, K=3:0..2,
K=4:0..2), exit 0.

2026-06-28 03:06:41 +08:00

common

feat: init mlkem project with Verilator test framework

2026-06-24 19:43:29 +08:00

comp_decomp

fix(tb): fix Vivado 2019.2 compilation and TB timing bugs

2026-06-25 21:32:19 +08:00

mod_add

fix(tb): fix Vivado 2019.2 compatibility and add run_tb.sh

2026-06-25 20:53:47 +08:00

ntt

fix(tb): fix Vivado 2019.2 compilation and TB timing bugs