Verilog HDL Reference Manual_Synopsys