verilog work "buggy.v"