code wiki / _hdl_build / nx_decoder_imm_mem_test.nx

nx_decoder_imm_mem_test.nx

buildroot/runtime/_hdl_build/nx_decoder_imm_mem_test.nx

3370 B83 linesdepth 8pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic decoder
docsdependenciesstructsconstsfunctions

about

nx_decoder_imm_mem_test.nx -- FUNCTIONAL gate-level verify of the I/S/B/U/J immediate decoders. Builds nx_decoder_imm_build into a MEM sink, runs the gate-sim over 200 random instructions and diffs each immediate net against the behavioral oracle nx_rv64im_imm_i/s/b/u/j (sign-extension included -- the gate ORs the extend mask exactly as the oracle). Per-format mismatch counts must all be 0. KAT: I-imm of addi x1,x0,-1 (0xFFF00093) = -1. Sovereign. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_decoder_select.nx rv64im_min_decoder.nx nx_decoder_imm_mem_test.nx

imports: nx_decoder_select.nxrv64im_min_decoder.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_decoder_imm_build nx_dec_part 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 nx_dec_sext nx_sink_const ↻ nx_sink_cell ↻ nx_dec_or nx_sink_cell ↻ nx_gsim_run nx_gsim_kind_supported nx_gsim_eval_cell nx_rv64im_imm_i nx_rv64im_imm_s nx_rv64im_imm_b nx_rv64im_imm_u nx_rv64im_imm_j _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