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
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
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
structs
| none |
consts
| none |
functions
| 10 | func _emit_cstr(s: *u8) -> i64 called by 1: main |
| 16 | func _emit_dec(v: i64) -> i64 called by 1: main |
| 30 | func main() -> i64 |