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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 6360|回复: 14

[求助] 静态形式验证工具vc formal的资料哪位大侠有啊

[复制链接]
发表于 2019-6-26 11:34:48 | 显示全部楼层 |阅读模式

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

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

x
具体如下网址:
https://www.synopsys.com/zh-cn/v ... tion/vc-formal.html
发表于 2020-8-14 18:15:01 来自手机 | 显示全部楼层
楼主有软件吗
发表于 2020-8-20 03:44:40 | 显示全部楼层
Wha information are you looking for?
Like tool performance?, or what does it do?.

VC Formal is a Formal verification tool that uses SystemVerilog assertions (that defines the properties/behavior of the design) as a "tesbench", and run mathematical models such as Bounded Model Checking (BMC), K-induction, and hybrid engines, to check the entire design state space with the goal of proving that the properties hold. If they do not, a counter example (CEX) is created. A CEX is a short waveform that shows where the design fails, and only uses the relevant signals.

VC Formal uses verdi as front end. VC is not the only formal tool out there. JasperGold from Cadence, OneSpin, and SymbiYosys does the same thing.

If you don't have VC Formal license, you can try SymbiYosys. That tool is free for Verilog 2005. For SystemVerilog you need a license (to use Verific as a parser), but you can request a demo licnse to try that as well.

Let me know if you have further questions.
发表于 2020-8-21 16:25:41 | 显示全部楼层
同问
发表于 2021-1-14 22:50:48 | 显示全部楼层
好好好
发表于 2021-5-30 17:06:39 | 显示全部楼层
同问,求有关vcf和形式验证断言的资料
发表于 2021-10-22 09:02:59 | 显示全部楼层
有人有user guide吗?
发表于 2021-12-2 17:07:34 | 显示全部楼层
Hi
How can I acquire VC Formal license that you mentioned?
I need VC formal app and its license.
Could you please help me?
Thanks
发表于 2022-7-18 21:43:15 | 显示全部楼层


敬田来 发表于 2021-12-2 17:07
Hi
How can I acquire VC Formal license that you mentioned?
I need VC formal app and its license.


有了吗?能否share一下?
发表于 2023-5-7 09:54:13 | 显示全部楼层
有人有user guide吗?
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

×

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

GMT+8, 2024-3-28 19:34 , Processed in 0.026609 second(s), 6 queries , Gzip On, Redis On.

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