Verilog Spec