code wiki / _hdl_build / nx_rtype_control_mem_test.nx

nx_rtype_control_mem_test.nx

buildroot/runtime/_hdl_build/nx_rtype_control_mem_test.nx

3365 B89 linesdepth 8pulls 21 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_rtype_control_mem_test.nx -- FUNCTIONAL gate-level verify of the R-type ALU-op control. Builds nx_rtype_op_aluop_build into a MEM sink, then exhaustively over funct3 in 0..7 x funct7 in {0, 1, 0x20} runs the gate-sim and diffs the alu-op net against the behavioral oracle nx_rv64im_sim_alu_select(OP, funct3, funct7). All 24 combos must match. KATs: add/sub/sra/mul. Proves the decode->execute control glue is correct at the gate level. Sovereign. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_rtype_control.nx rv64im_min_sim.nx nx_rtype_control_mem_test.nx

imports: nx_rtype_control.nxrv64im_min_sim.nx

imported by: nobody (leaf or entry point)

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

main nx_sink_init_mem nx_rtype_op_aluop_build _rc_eq nx_sink_const nx_hdl_wire nx_hdl_signal_alloc nx_hdl_kind_is_valid nx_hdl_width_is_valid nx_sink_cell nx_hdl_wire ↻ sys_mmap _rc_mux nx_sink_cell ↻ _rc_c nx_sink_const ↻ nx_gsim_run nx_gsim_kind_supported nx_gsim_eval_cell nx_rv64im_sim_alu_select _emit_cstr _emit_dec

structs

none

consts

none

functions

10func _emit_cstr(s: *u8) -> i64
called by 1: main
16func _emit_dec(v: i64) -> i64
called by 1: main
30func main() -> i64
calls 6: nx_sink_init_memnx_rtype_op_aluop_buildnx_gsim_runnx_rv64im_sim_alu_select_emit_cstr_emit_dec