采用最新虚拟软件VMware12Pro安装的EDA虚拟机系统，操作系统使用红帽企业版。集成了Synopsys、Cadence、Mentor等主流软件，以及一个ADS数模混合仿真软件。内置台积电90ns和中芯国际180ns的前端和后端所有的工艺库，下载连接附带于文档内。 VMware后的版本只支持64位，不再提供32位版本。本虚拟系统安装的是RedHatEnterpriseLinux6.7，即RHEL6.7。系统未设普通用户和root密码，需要的自行设置。 Synopsys有以下软件： ·Formality2016：形式验证 ·Hspice20