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

fengzhepianzhou · 发表于 2019-6-26 11:34:48

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

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

x

具体如下网址：
https://www.synopsys.com/zh-cn/v ... tion/vc-formal.html

fafa灬 · 发表于 2020-8-14 18:15:01

楼主有软件吗

dogor1 · 发表于 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.