vcs -debug +v2k -f file.tcl -R -ucli -V -do do.tcl -notice -P /home/tian/programs/verdi/share/PLI/VCS/LINUX/novas.tab /home/tian/programs/verdi/share/PLI/VCS/LINUX/pli.a
