code wiki / _hdl_build / rv64im_min_decoder_proof.nx

rv64im_min_decoder_proof.nx

buildroot/runtime/_hdl_build/rv64im_min_decoder_proof.nx

2622 B75 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind tooltopic rv64im
docsdependenciesstructsconstsfunctions

about

nx_rv64im_decoder_dump.nx -- dump rv64im_min_decoder field outputs for every word in decode_words.bin, so an independent Python RV64 decoder can diff them 1:1. Per-word line (all hex16, tab-sep): word opcode funct3 funct7 rd rs1 rs2 imm_i imm_s imm_b imm_u imm_j kind expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nishi_hdl_primitives.nx rv64im_min_decoder.nx rv64im_min_decoder_proof.nx

imports: nx_syscalls.nxnishi_hdl_primitives.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 sys_mmap sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close _field _hex16 nx_rv64im_opcode nx_rv64im_funct3 nx_rv64im_funct7 nx_rv64im_rd nx_rv64im_rs1 nx_rv64im_rs2 nx_rv64im_imm_i nx_rv64im_imm_s nx_rv64im_imm_b nx_rv64im_imm_u nx_rv64im_imm_j nx_rv64im_decode_kind nx_rv64im_opcode ↻ nx_rv64im_funct7 ↻ nx_rv64im_funct3 ↻ sys_openat_wr sys_write sys_close ↻

structs

none

consts

none

functions

12func _hex16(v: i64, out: *u8, pos: i64) -> i64
called by 1: _field
25func _field(out: *u8, pos: i64, v: i64, sep: i64) -> i64
called by 1: main calls 1: _hex16
31func main() -> i64
calls 18: sys_mmapsys_read_file_fieldnx_rv64im_opcodenx_rv64im_funct3nx_rv64im_funct7+12