Verilog Red Book - Programming Specification