code wiki / _hdl_build / nx_multsynth_test.nx

nx_multsynth_test.nx

buildroot/runtime/_hdl_build/nx_multsynth_test.nx

2247 B47 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_multsynth_test.nx -- the team synthesizes a 2x2 MULTIPLIER from gates (Vedic/array multiplier search space) and verifies each output bit EXACTLY over all 16 inputs. Known answer: all 4 output bits synthesized + re-verified -> exit 0.

dependencies 1 imports · 0 importers

nx_multsynth.nx nx_multsynth_test.nx

imports: nx_multsynth.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main ms_main ms_puts ms_bit mult_tt bl4_find bl4_enum bl_is_unary bl_eval bl4_enum ↻ bl4_reeval bl_eval ↻ ms_puts ↻ ms_num ms_num ↻ tally

structs

none

consts

none

functions

7func ms_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 2: ms_bitms_main
8func ms_num(v: i64) -> i64
called by 2: ms_bitms_main
16func tally(r: *i64, n: i64) -> i64 { var ec: i64 = 0; var i: i64 = 0; while i < n { if r[i] != 1 { if ec == 0 { ec = i + 1 } } i = i + 1 } return ec }
called by 1: main
18func ms_bit(k: i64, r: *i64, total: *i64) -> i64
called by 1: ms_main calls 5: mult_ttbl4_findbl4_reevalms_putsms_num
29func ms_main(r: *i64) -> i64
called by 1: main calls 3: ms_putsms_bitms_num
41func main() -> i64
calls 2: ms_maintally