静心聆听的空间 - EETOP 创芯网论坛 (原名：电子顶级开发网) -

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

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

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

静心聆听

统计信息

已有 564 人来访过

积分: 10538
资产: 10538
发贴收入: 742
推广收入: --
附件收入: 134
下载支出: 5112
好友: 2
主题: 18
日志: --
相册: --
分享: --

现在还没有相册

现在还没有记录

自我介绍200 字节以内

不支持自定义 Discuz! 代码
居住地广东省深圳市南山区南头街道

查看全部个人资料

现在还没有动态

现在还没有日志

留言板全部

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

查看全部

最近访客

现在还没有访客

关闭

站长推荐 /2

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

GMT+8, 2024-11-28 12:55 , Processed in 0.012421 second(s), 10 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

返回顶部