* Correcting some verilog issues