topic: rv64im
25 modules sharing the rv64im name family (derived from the tree's prefix discipline).
The 'rv64im' topic family provides tools and components for verifying and simulating the RV64IM architecture within the Nishi sovereign ecosystem. Modules like nx_rv64im_alu_proof and rv64im_min_alu_proof focus on proving the correctness of the ALU through vector dumping, while nx_rv64im_cpu_crosscheck ensures a 1:1 proof of the CPU simulation. Additional modules such as rv64im_min_clint and rv64im_min_csr support peripheral and control logic, enabling comprehensive validation of the RV64IM implementation.
auto-narrated by the local model from this topic's module headers; links verified against the wiki index.
narrated overview -- maintained by the narration lane, module links verified against this wiki.
| module | description | lines | funcs |
|---|---|---|---|
| nx_rv64im_alu_proof.nx | vector dumper to PROVE the RV64IM ALU. | 124 | 4 |
| nx_rv64im_cpu_crosscheck.nx | 1:1 proof: our sovereign RV64IM CPU sim | 115 | 3 |
| nx_rv64im_decoder_dump.nx | dump rv64im_min_decoder field outputs | 76 | 3 |
| rv64im_min_alu.nx | RV64IM-min ALU. | 355 | 11 |
| rv64im_min_alu_proof.nx | vector dumper to PROVE the RV64IM ALU. | 115 | 4 |
| rv64im_min_clint.nx | Core-Local Interruptor (CLINT) MMIO device. | 240 | 8 |
| rv64im_min_cpu_crosscheck.nx | 1:1 proof: our sovereign RV64IM CPU sim | 115 | 3 |
| rv64im_min_csr.nx | RV64IM-min CSR file (M-mode only). | 270 | 8 |
| rv64im_min_decoder.nx | first concrete use of the NishiHDL DSL. | 291 | 14 |
| rv64im_min_decoder_proof.nx | dump rv64im_min_decoder field outputs | 75 | 3 |
| rv64im_min_elf_loader.nx | ELF64 loader for the RV64IM-min sim. | 269 | 10 |
| rv64im_min_gfx_gate.nx | 160 | 12 | |
| rv64im_min_gpu.nx | a SOVEREIGN GPU-class command-submission controller device model (the 4th | 280 | 12 |
| rv64im_min_hot_report.nx | silicon-feedback loop closure. | 302 | 8 |
| rv64im_min_kernel_boot_smoke.nx | boot the nishi-os kernel ELF in sim. | 120 | 2 |
| rv64im_min_mmu.nx | the Sv39 PAGE-TABLE-WALK device (virtual-memory-paging-mmu). | 176 | 10 |
| rv64im_min_multi_tier_roi.nx | per-tier ROI matrix + ranker. | 255 | 7 |
| rv64im_min_nndev.nx | the NISHI-NATIVE DEVICE PROTOCOL (NNDP) device model. | 182 | 8 |
| rv64im_min_nvme.nx | a SOVEREIGN NVMe-class PCI/MMIO controller device model (X-DRV-W1 | 332 | 12 |
| rv64im_min_regfile.nx | RV64IM-min general-purpose register file. | 140 | 4 |
| rv64im_min_sim.nx | single-cycle RV64IM-min behavioural simulator. | 1246 | 33 |
| rv64im_min_sim_smoke.nx | end-to-end smoke for the RV64IM-min sim. | 151 | 3 |
| rv64im_min_symtab.nx | ELF64 symbol table parser. | 217 | 5 |
| rv64im_min_uart.nx | 16550-compatible UART MMIO device. | 218 | 6 |
| rv64im_min_virtio.nx | legacy virtio-MMIO transport device model (K-R2-001a). | 522 | 13 |