Nice, just a few weeks ago I finished my port of socz80 to DE0-nano (https://github.com/slp/socz80-de0_nano).

Apparently, the original socz80 is already supported on Fuzix, so it should run here too. More retro-fun!