code wiki / _hdl_build / nx_recip_div24.nx
nx_recip_div24.nx source
↩ module page · 11 lines · 515 B
1// nx_recip_div24.nx -- the W=24 INSTANCE of the width-parameterized Goldschmidt
2// generator (nx_recip_div_w). Kept as the heavy-battery ANCHOR: its test
3// (nx_recip_div24_test) proves the W=24 form over 2,297,160 triangulated vectors.
4// The generator is byte-identical at W=24, so that proof now covers the generator.
5// license_tier: ORIGINAL
6
7import "nx_recip_div_w.nx"
8
9func nx_recip_div24_synth(g: *NxGsim, na: i64, nb: i64, rem_out: *i64) -> i64 {
10 return nx_recip_div_w_synth(g, na, nb, 24, rem_out)
11}