synopsys虚拟机工具