code wiki / _hdl_build / nx_recip_div24.nx
nx_recip_div24.nx
buildroot/runtime/_hdl_build/nx_recip_div24.nx
about
nx_recip_div24.nx -- the W=24 INSTANCE of the width-parameterized Goldschmidt
generator (nx_recip_div_w). Kept as the heavy-battery ANCHOR: its test
(nx_recip_div24_test) proves the W=24 form over 2,297,160 triangulated vectors.
The generator is byte-identical at W=24, so that proof now covers the generator.
license_tier: ORIGINAL
dependencies 1 imports · 1 importers
imports: nx_recip_div_w.nx
imported by: nx_recip_div24_test.nx
structs
| none |
consts
| none |
functions
| 9 | func nx_recip_div24_synth(g: *NxGsim, na: i64, nb: i64, rem_out: *i64) -> i64 |