SynopsysVCS使用手册,详细介绍了VCS指令和一些例子。