synopsys vcs 是一款功能非常强大的编译代码模拟器;软件支持对VHDL、ystemVerilog、System等的 编译、模拟、分析的设计说明,为大家一个了非常快速的仿真、调试的功能,让您更加方便的对您的设计进行验证,而且这些功能还可以帮助您进行源代码级调试、仿真结果等的查看,使您的工作效率更加的得到大的提升,需要的朋友赶快将软件下载来使用试试吧!

关于Synopsys
Synopsys公司加快创新,在全球电子市场。作为电子设计自动化(EDA)和半导体IP的领导者,Synopsys提供软件,IP和服务,帮助工程师解决他们的设计,验证,系统和制造挑战。自1986年以来,世界各地的工程师一直在使用Synopsys技术设计和创建数十亿的芯片和系统。
软件功能
使用先进的低功耗技术(包括电源门控和保持)精确模拟设计,早期快速捕获LP错误
电压电平感知模拟使用低Vdd待机和DVS精确验证设计
基于模型和正确模拟多轨宏的基础设施导致多电压设计的增加的错误检测
来自设计和功耗意图的分析的内置自动断言减轻未检测到的错误的风险,并提高验证生产力
自动覆盖跟踪和报告有助于跟踪验证
生产验证支持工业标准IEEE 1801-2009 [统一功率格式(UPF)]功率意图格式
软件特色
行业领先的性能和容量
编译时间:分区编译,预编译IP,动态重配置
运行时:保存/恢复,约束解算器优化,多核
高级仿真技术
本机低功耗,X传播,SystemC和AMS协同仿真,
综合规划,覆盖和执行管理本机集成
VCS通过与Verdi®debug,VC Formal和VC VIP的本地集成,提供了关键的周转时间和易用性优势
安装方法
1、下载文件找到"Setup.exe"双击运行,进入软件安装向导界面;
2、进入软件安装向导界面,点击Next;

3、点击我同意此条款中的使用协议,点击Next
4、选择文件安装位置,建议安装在D盘,点击Next

5、安装进行中,请耐心的等待..........
6、安装完成,点击Finish;

使用方法
假设电压为常数,模拟设计已不再充分。当今的大多数设计在操作期间具有电压改变,例如当设计进入低Vdd待机状态或利用DVS模式时。这需要模拟来理解电压电平,以准确地分辨信号值和时序。

电源状态转换需要理解电压的动态特性及其对逻辑的影响; 输出不仅是输入上的逻辑值,而且是这些值的电压电平的函数。传统(“永远在线”)模拟将产生不准确和误导性的结果,潜在地允许错误逃逸并在硅中表现。

此外,多电压设计具有在来自多个电源轨的不同电源电压下工作的设计部件。传统的模拟器没有智能来理解不同电源电压和它们驱动的关系,导致在仿真中未被发现的潜在硅故障。

用于低功率设计的上电复位涉及以严格定义的顺序接通电源域,其中上电域可以随后有助于向下一个域上电。了解上电复位期间的电压转换和相关性对于精确和完全验证低功耗设计至关重要。

使用说明
1、使用本目录下的Synopsys.src替换EFA LicGen 0.4bpacks目录下的Synopsys.src
2、利用LicGen.exe生成license.dat and copy license.dat to synopsys.dat

注意:选custom,并填入hostid。(此种方法可行,若不如此,也不一定不可以。)
3、在虚拟dos环境下(在windows界面下,使用cmd进入),键入:
sssverify license.dat
得到SECRET DATA

4、在windows界面下,双击KeyGen.exe
填入上一步得到的SECRET DATA和第2步使用的hostid。

Generate之后在本目录下会产生一个license.dat文件。
5、将license.dat中的SSS Feature 拷贝到synopsys.dat。如:
FEATURE SSS snpslmd 1.0 31-dec-2020 uncounted AD05306DE9F195C50A3E
VENDOR_STRING="69656 d1d88 34cc3 38a6f 538ce df1f2 30f43 8258f
ecc22 fcf" HOSTID=000ae426dd0d ISSUER="Team ZWT 2006"
NOTICE="Licensed to mammoth//ZWT 2006 [PLEASE DO NOT DELETE THIS
SSS KEY]" SN=RK:1978-0:001224:0 START=1-jan-2006
注:若第2步生成的license.dat and synopsys.dat中有SSS FEATURE,可将其删除。
6、修改license.dat的头两句,如:
SERVER 000ae426dd0d 27000
DAEMON snpslmd /home/eda/linux/bin/snpslmd
其中:snpslmd指向SCL的snpslmd。
7、起license,如:
%: lmgrd –c synopsys.dat –l synopsys.log
8、设置.cshrc
setenv LM_LICENSE_FILE 27000@Linux213
附:linux下获得hostid的方法:
%: lmhostid
%:hostid (错!!)
已解决:
Coretools2005.12
DC2005.09sp2
Formality2004.12
CosmosScope 2006.03 未搞定,不知道怎么用
∨ 展开