Simulating Verilog RTL using Synopsys VCS preview / simulating-verilog-rtl-using-synopsys-vcs.pdf / PDF4PRO