verilog reference guide 9305740