wip/verilog-current/patches
