verilog rtl simulation with synopsys vcs 8135131