Updated verilog source