设为首页收藏本站

在线咨询切换到宽版

eetop公众号

创芯大讲堂

创芯人才网

快捷导航

搜帖子

EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › IC 设计及制造（半导体、微电子） › 数字IC设计【ASIC|IC前端|FPGA】 › 数字IC设计讨论(IC前端|FPGA|ASIC) › 什么是形式验证

1 2 3 45 / 5 页

返回列表发新帖

楼主: wjx197733

什么是形式验证

发表于 2014-10-2 21:07:39 | 显示全部楼层

形式验证说的白一点就是通过数学手段来证明两个电路的等价性，优点是拥有几乎100%的覆盖率，验证是速度也比较快

回复支持反对

使用道具举报

发表于 2014-11-3 06:03:32 | 显示全部楼层

谢谢分享

EETOP创芯人才网简历投递入口

回复支持反对

使用道具举报

发表于 2016-7-26 16:55:51 | 显示全部楼层

能否讲一下形式验证是如何实现的，基本原理即可？

回复支持反对

使用道具举报

发表于 2016-7-26 17:34:49 | 显示全部楼层

shuo de bucuo

EETOP创芯人才网职位发布入口

回复支持反对

使用道具举报

1 2 3 45 / 5 页

返回列表发新帖

关闭

站长推荐 /1

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

GMT+8, 2025-9-12 08:52 , Processed in 0.011661 second(s), 4 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

快速回复 返回顶部 返回列表