设为首页 收藏本站
在线咨询 切换到宽版
eetop公众号 创芯大讲堂 创芯人才网

 找回密码
 注册

手机号码，快捷登录

手机号码，快捷登录

搜帖子
EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › IC 设计及制造（半导体、微电子） › 数字IC设计【ASIC|IC前端|FPGA】 › 数字IC设计讨论(IC前端|FPGA|ASIC) › 什么是形式验证
12345下一页
返回列表 发新帖
楼主: wjx197733

什么是形式验证

[复制链接]
orphan
发表于 2009-9-4 15:27:10 | 显示全部楼层
采用静态算法，代替动态仿真，节约时间和成本，
有点sta的意思，但所用不同
回复 支持 反对

使用道具 举报

发表于 2009-9-6 13:05:33 | 显示全部楼层
It's equavalent check!
回复 支持 反对

使用道具 举报

XIAOZZ
发表于 2009-12-22 01:38:29 | 显示全部楼层
有些看不懂
回复 支持 反对

使用道具 举报

发表于 2009-12-22 15:47:03 | 显示全部楼层
呵呵，不明白
回复 支持 反对

使用道具 举报

发表于 2009-12-22 19:48:47 | 显示全部楼层
学习了！
EETOP创芯人才网简历投递入口
回复 支持 反对

使用道具 举报

发表于 2009-12-22 21:07:06 | 显示全部楼层
形式验证可以穷尽各种可能性，是验证手段的一种
EETOP创芯人才网职位发布入口
回复 支持 反对

使用道具 举报

tks15
发表于 2009-12-23 03:53:25 | 显示全部楼层
Thanks
EETOP创芯人才网简历投递入口
回复 支持 反对

使用道具 举报

发表于 2011-8-9 11:19:55 | 显示全部楼层
学习了  多谢大家讨论
EETOP创芯人才网职位发布入口
回复 支持 反对

使用道具 举报

发表于 2011-8-14 20:43:13 | 显示全部楼层
能做formal verification的主流EDA软件是什么呀？希望大家介绍一下。
EETOP创芯人才网简历投递入口
回复 支持 反对

使用道具 举报

发表于 2012-2-21 10:48:46 | 显示全部楼层
刚刚接触，学习学习
回复 支持 反对

使用道具 举报

下一页 »
12345下一页
返回列表 发新帖
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条


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

GMT+8, 2025-9-12 10:48 , Processed in 0.016416 second(s), 3 queries , Gzip On, Redis On.

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