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

 找回密码
 注册

手机号码,快捷登录

手机号码,快捷登录

搜帖子
查看: 10902|回复: 33

[资料] VC Formal Verification User Guide, 2021

[复制链接]
发表于 2023-2-23 15:09:28 | 显示全部楼层 |阅读模式

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

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

×
VC Formal Verification EDA是一种静态验证方法。FV(formal verification)是指使用数学工具分析设计可能行为的空间,而不是计算特定值的结果。FV工具将着眼于所有可能的仿真,而不是尝试特定的值。当然,它并不是真的运行所有可能的仿真,但它将使用数学技术来考虑所有可能的行为。仿真和FV的区别:仿真着眼于可能测试空间中的单个点,而FV同时覆盖整个空间。
FV不再仅仅是寻找稀有的bug。当我们探索各种可用的技术时,我们将看到,FV确实应该被看作是一个通用的工具包,用于交互、验证和理解我们的设计。从早期开发开始到post-silicon调试过程,在每个设计阶段适当地利用formal方法可以增加吞吐量,增加设计信心,并减少上市时间。

VC_Formal_Verification_UG,Version S-2021.09.pdf

17.62 MB, 下载次数: 419 , 下载积分: 资产 -1 信元, 下载支出 1 信元

很好的资料

发表于 2023-2-24 15:44:13 | 显示全部楼层
Thank you very much.
发表于 2023-2-24 16:11:03 | 显示全部楼层
Thank you very much.
发表于 2023-2-24 20:15:47 | 显示全部楼层
多谢分享
发表于 2023-2-26 16:32:06 | 显示全部楼层
多谢分享
发表于 2023-3-2 14:35:40 | 显示全部楼层
下载了,学习学习
发表于 2023-3-6 09:58:13 | 显示全部楼层
Thank you
发表于 2023-4-10 16:02:59 | 显示全部楼层
多谢分享
发表于 2023-5-11 14:58:57 | 显示全部楼层
楼主66666,感谢分享
发表于 2023-5-11 15:01:47 | 显示全部楼层

Thank you
您需要登录后才可以回帖 登录 | 注册

本版积分规则

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

GMT+8, 2025-5-28 04:28 , Processed in 0.141665 second(s), 5 queries , Gzip On, Redis On.

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