code wiki / _hdl_build / nx_multisim_crosscheck.nx

nx_multisim_crosscheck.nx

buildroot/runtime/_hdl_build/nx_multisim_crosscheck.nx

7537 B100 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind tool

docs dependencies structs consts functions

about

nx_multisim_crosscheck.nx -- Benchmarks the sovereign simulator against multiple third-party simulators and mathematical ground truth to confirm its accuracy.

dependencies 3 imports · 0 importers

imports: nx_gate_gn.nxnx_gate_base.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

16	const SUMSQ_MAGIC_2870: i64 = 2870
17	const SUMSQ_MAGIC_2871: i64 = 2871
19	const SUMSQ_1_20: i64 = 2870 // sum_{i=1..20} i^2 = 202141/6 = 2870 -- the canonical crosscheck result
21	const AUTH_OFFICIAL_SIM: i64 = 1 // QEMU, Spike: official reference implementations
22	const AUTH_GROUND_TRUTH: i64 = 2 // closed-form math: independent of any simulator

functions

25	func grow(name: *u8) -> i64 called by 1: main calls 7: sys_fork sys_openat_wr sys_dup3 sys_mmap sys_execve sys_exit+1
40	func researcher_confirm(claim: i64, rv: i64, ra: i64, nrefs: i64) -> i64 called by 1: main
56	func main() -> i64 calls 6: gw sys_mmap grow gn researcher_confirm sys_exit