EETOP 创芯网论坛 (原名：电子顶级开发网) 返回首页

静心聆听的个人空间 https://blog.eetop.cn/1614863 [收藏] [复制] [分享] [RSS]

空间首页动态记录日志相册主题分享留言板个人资料

留言板

tangdaxia 2021-12-17 10:30: 静心聆听: vc fomal 是干啥的啊？有教程么
vc formal是一种验证工具，在ut阶段可以协助bug挖掘，他的原理是证明而不是仿真。例如一个a+b的模块，我们传统的仿真是通过给a和b的激励去验证；但是一种formal验证方法可以证明这个a+b是和golden的加法器等价来证明。

静心聆听

0
周排名
0
月排名
0
总排名
0
关注
3
粉丝
2
好友
0
获赞
1
评论
559
访问数

关闭

站长推荐 /2

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

GMT+8, 2024-4-20 23:32 , Processed in 0.024262 second(s), 9 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

返回顶部