First stable release. Zero-dependency, laptop-class open-source memory compiler.
Highlights
- 6 memory kinds:
sram_1rw,sram_1r1w,sram_2rw,rf_2r1w_ff,fifo_sync,fifo_async(gray-coded CDC) β plus--eccSECDED wrapping and a banking/tiling composer - Verified, not promised: self-checking testbench per instance, cocotb+Verilator golden-model suites, formal proofs (read-first RDW, byte-lane, FIFO occupancy, gray pointers) β all non-vacuous and mutation-tested
- FPGA-proven: BRAM/SPRAM inference verified on
synth_xilinx+synth_ice40(12/12 configs) - ASIC-proven on a 16 GB laptop: 3 showcase sizes hardened to sky130hd GDSII via OpenROAD/ORFS (256Γ32 and 1024Γ32 fully clean; 2048Γ64 = 128 Kbit timing-closed with 1 documented antenna violation, measured as structural to the tool's repair cycle β full evidence in harden/HARDEN_RESULTS.md)
- Zero pip dependencies, Python β₯ 3.8,
pip install khnum-ramβkhnumCLI
Links
- PyPI: https://pypi.org/project/khnum-ram/
- Landing page: https://lord1egypt.github.io/Khnum/
- Characterization tables: docs/CHARACTERIZATION.md Β· GDS gallery: docs/GALLERY.md
π€ Generated with Claude Code