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.
emulator nintendo graphics emulation reverse-engineering snes bit-manipulation retrocomputing coprocessor super-famicom super-nintendo hardware-emulation dungeon-master property-testing retro-gaming conformance-testing dsp2 exhaustive-testing upd77c25 nec-upd77c25
-
Updated
Sep 2, 2026 - Python