vcs是synopsys研发的RTL级仿真工具