vc_static

lyjren · 发表于 2018-1-19 10:20:55

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

synopsys的vc_static 哪位大侠能破解

pickpunk · 发表于 2018-2-9 12:02:37

回复 1# lyjren

Verfication Compiler Static Platform 软件先共享出来吧。

dogor1 · 发表于 2018-2-10 12:51:15

Just add following lines in your *.src (Synopsys.src):
PACKAGE snps_formal snpslmd 2019.2019 0 COMPONENTS="VCFV-Verdi-Plugin " ck=0
INCREMENT snps_formal snpslmd 2019.2019 30-dec-2020 99 VENDOR_STRING=^1+S&PID=9b530424& SUPERSEDE ISSUED=01-apr-2004 ck=51 SN=RK:2671-0:167603:0 START=01-apr-2004 AUTH={ snpslmd=(LK=0) }

And generate it again.

Drop me a message if you have problems man.

1339650739 · 发表于 2019-1-14 12:48:52

有没有使用手册哦？可以分享一下吗？

joycechou1110 · 发表于 2019-1-14 13:06:48

回复 1# lyjren

我可以

xiexie57 · 发表于 2020-2-20 15:50:27

VCS_MX為mixed hdl仿真器，支持vhdl+verilog+sv的混合仿真。 VCS則是verilog+sv的
VC LP // Low Power Signoff and Static Verification (rtl & post)
VC Forma l // Next-Generation Formal Verification
VC Formal DPV (Datapath Validation) // VC Formal Datapath Validation (DPV) App with integrated HECTOR™

ic小新 · 发表于 2020-5-26 13:54:27

求VCLP的软件，谢谢

encipher · 发表于 2020-9-12 21:17:37

同求，谢谢

zfff2004 · 发表于 2021-5-12 20:49:25

诸位大神,在rhel610环境下,为什么执行vc_static_shell会自动退出

zyfwh · 发表于 2021-7-28 22:16:16

求vcstatic软件

vc_static

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

站长推荐 /2