在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 10582|回复: 13

vc_static

[复制链接]
发表于 2018-1-19 10:20:55 | 显示全部楼层 |阅读模式

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

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

x
synopsys的vc_static 哪位大侠能破解
发表于 2018-2-9 12:02:37 | 显示全部楼层
回复 1# lyjren


    Verfication Compiler Static Platform 软件先共享出来吧。
发表于 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.
发表于 2019-1-14 12:48:52 | 显示全部楼层
有没有使用手册哦?可以分享一下吗?
发表于 2019-1-14 13:06:48 | 显示全部楼层
回复 1# lyjren


  我可以
发表于 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™
发表于 2020-5-26 13:54:27 | 显示全部楼层
求VCLP的软件,谢谢
发表于 2020-9-12 21:17:37 | 显示全部楼层
同求,谢谢
发表于 2021-5-12 20:49:25 | 显示全部楼层
诸位大神,在rhel610环境下,为什么执行vc_static_shell会自动退出
发表于 2021-7-28 22:16:16 | 显示全部楼层
求vcstatic软件
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条

×

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-3-29 15:39 , Processed in 0.029596 second(s), 7 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表