https://cerkit.com/posts/hookpad-to-verilog/