Brought Verilog up-to-date