(An Australian sci-fi author who likes to layer realities computed/simulated on top of each other - give Diaspora or Permutation City if it sounds like your cup of tea.)
Or maybe I just recall noticing that detail and forget about the ones where I didn't notice it.
Similar project but for minetest (open source minecraft clone)
In his case I suspect the full syntax of Verilog would be overkill and just add confusion, though. A simpler subset without modules and with only continuous assignment would be ideal.
Gears turning.
It uses a very simple HDL, has a reasonable IDE built in, and each puzzle is pass/fail based on a test suite so it's easy to get into - however, you only have a certain number of lines on screen in which to write the HDL (and comments), so brute force is not an option for most of the puzzles, you do have to optimise your design to fit the constraints.
[] https://raw.githubusercontent.com/itsFrank/MinecraftHDL/mast...