Replace Verilog demo code with something that's not GPL-ed

Closes #1292