设为首页收藏本站

在线咨询切换到宽版

eetop公众号

创芯大讲堂

创芯人才网

快捷导航

搜帖子

EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › IC 设计及制造（半导体、微电子） › IC验证 › IC验证资料 › 详细讲解形式化验证的书籍 advanced formal verificatio ...

1 2 345 6 7 8 / 8 页下一页

返回列表发新帖

楼主: CMOS3511

[资料] 详细讲解形式化验证的书籍 advanced formal verification

发表于 2014-4-3 20:07:36 | 显示全部楼层

cxzNm

回复支持反对

发表于 2014-4-4 20:31:08 | 显示全部楼层

谢谢你的资料

回复支持反对

发表于 2014-4-23 10:12:06 | 显示全部楼层

感谢分享

回复支持反对

发表于 2014-4-29 20:31:41 | 显示全部楼层

谢谢分享！！！！

回复支持反对

发表于 2014-5-6 21:22:23 | 显示全部楼层

好书，下来看看

回复支持反对

发表于 2014-6-17 14:45:21 | 显示全部楼层

感谢分享，学习中

回复支持反对

发表于 2014-8-13 15:39:32 | 显示全部楼层

学习呀，正好需要这个资料

回复支持反对

发表于 2014-9-4 23:26:01 | 显示全部楼层

谢谢分享

回复支持反对

发表于 2015-2-6 18:16:15 | 显示全部楼层

形式验证，必须要过的坎。

回复支持反对

发表于 2015-5-11 19:37:17 | 显示全部楼层

有没有中文的资料呢？

回复支持反对

1 2 345 6 7 8 / 8 页下一页

返回列表发新帖

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

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

eetop公众号

创芯大讲堂

创芯人才网

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