mlkem-sync

fallensigh/mlkem-sync

Fork 0

Commit Graph

Author	SHA1	Message	Date
FallenSigh	92dafc9696	fix(rtl): add use_dsp="no" attributes, fix duplicate wire declaration Add (* use_dsp = "no" ) to all modules containing multiplication operators to force LUT-based multiplication instead of DSP inference: - barrett_mul.v (3 multipliers x 7 instances = 21 ops) - comp_decomp_sync.v, sample_ntt_sync.v, mlkem_top.v Also fix duplicate wire declaration of ct_bytes_rt in mlkem_top.v.	2026-06-29 23:23:58 +08:00
FallenSigh	c4cd10c2c1	feat(ntt): implement synchronous NTT core with Barrett modular reduction Phase 2.1: Merged Path00+Path01 NTT engine. - barrett_mul.v: Barrett modular multiplication (a·b mod 3329) - butterfly_unit.v: Cooley-Tukey/Gentleman-Sande butterfly - zeta_rom.v: 128-entry ROM with bit-reversed roots of unity - ntt_core.v: 7-layer NTT FSM, 256×12-bit register file - ntt_sync.v: valid/ready streaming wrapper Verified: 13/13 vectors bit-exact vs Python NTT/NTTInverse	2026-06-24 22:51:14 +08:00

Author

SHA1

Message

Date

FallenSigh

92dafc9696

fix(rtl): add use_dsp="no" attributes, fix duplicate wire declaration

Add (* use_dsp = "no" *) to all modules containing multiplication
operators to force LUT-based multiplication instead of DSP inference:
- barrett_mul.v (3 multipliers x 7 instances = 21 ops)
- comp_decomp_sync.v, sample_ntt_sync*.v, mlkem_top.v

Also fix duplicate wire declaration of ct_bytes_rt in mlkem_top.v.

2026-06-29 23:23:58 +08:00

FallenSigh

c4cd10c2c1

feat(ntt): implement synchronous NTT core with Barrett modular reduction

Phase 2.1: Merged Path00+Path01 NTT engine.
- barrett_mul.v: Barrett modular multiplication (a·b mod 3329)
- butterfly_unit.v: Cooley-Tukey/Gentleman-Sande butterfly
- zeta_rom.v: 128-entry ROM with bit-reversed roots of unity
- ntt_core.v: 7-layer NTT FSM, 256×12-bit register file
- ntt_sync.v: valid/ready streaming wrapper

Verified: 13/13 vectors bit-exact vs Python NTT/NTTInverse

2026-06-24 22:51:14 +08:00

2 Commits