Verilog Always Block For Rtl Modeling Verilog Pro