hardware-emulation

📱 Smart Screen Unlocker Recovery: The ultimate forensic & accessibility framework to bypass broken Android displays. Inject raw kernel touch gestures via ADB using 7 dynamic math engines, including Live Interactive Calibration! 🚀🔧

Software platform for Thermodynamic Sampling Units - probabilistic computing emulator

Emulate the Samsung T5 SSD USB transactions sent during unlock

pyboard mocked emulator. Run code that uses `pyb` without a pyboard

SNES cartridge memory map and DMA engine in Python. Measured against 5,145 real cartridges: every distinct header combination they declare, checked against the layout and address resolutions it produces

pyboard emulator. Run code that uses `pyb` without a pyboard

NEC uPD7725 and uPD96050 DSP emulator in Python, cycle accurate. Held to NEC's data book for every flag each ALU operation touches and to a per-encoding corpus for the whole processor state: 1,002,240 instructions compared, zero disagreements. 100% branch coverage, no firmware ever

The NEC uPD77C25 as Nintendo shipped it across four microcodes. The DSP-2 is modelled with its commands proved rather than sampled: the tile conversion exhaustively over all 256 bits, the merge over every input it accepts, and the whole chip differentially against a reference validated on 71,970,987 recorded bytes.

Sony SPC700 interpreter in Python for the SNES audio processor. All 256 opcodes, validated against all 256,000 SingleStepTests cases with zero failures, 100 percent statement and branch coverage, and no assumption that memory or registers start clean

Zilog Z80 CPU emulator in Python, cycle accurate to the T state. Held to Zilog's own manual for every machine cycle and to a per-opcode suite for every T state: 1,604,000 cases and 22,005,372 T states compared, zero failures. Three parts, NMOS and CMOS, 100% branch coverage, no dependencies

proto-gen is a declarative Python framework for describing computer systems and generating emulator cores in C.

MOS 6502 and WDC 65C816 CPU emulator in Python, cycle accurate. Sixteen parts chosen at construction, held to the manufacturers' data sheets and to a per-opcode suite: 17,900,000 state cases and 17,870,080 cycle-exact cases compared, zero failures. 100% branch coverage, no dependencies

Sony S-DSP model in Python for the SNES audio unit. Runs the hardware's own 32-clock pipelined schedule, cross-checked sample-for-sample against the reference implementation on 240 register configurations taken from real music dumps

SNES S-DD1 decompressor in Python. Checked against the snes9x reference decoder on 4,000 golden vectors covering all 16 plane and context combinations, generated from pseudo random input so the evidence ships without any game data