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

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

手机号码，快捷登录

手机号码，快捷登录

找回密码

  登录   注册  

快捷导航
创芯云服务  : 创芯大讲堂  | 创芯人才网 | 数字IC职业培训  EETOP诚邀线上IC培训讲师!
搜帖子
EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › 资源共享 › EDA资源使用讨论 › Formal verification an essential toolkit for modern ...
1234567下一页
返回列表 发新帖
楼主: ab3028

Formal verification an essential toolkit for modern VLSI design

[复制链接]
Thememox
发表于 2018-3-8 18:28:28 | 显示全部楼层
Thanks
回复 支持 反对

举报

yangsuibin
发表于 2018-6-21 09:51:32 | 显示全部楼层
谢谢楼主分享
回复 支持 反对

举报

zq2164
发表于 2018-8-13 09:12:16 | 显示全部楼层
It is a good book
回复 支持 反对

举报

risccpu
发表于 2018-8-29 10:00:17 | 显示全部楼层
good reference
回复 支持 反对

举报

jimcmwang
发表于 2018-10-19 09:19:45 | 显示全部楼层
Formal Verification An Essential Toolkit for Modern VLSI Design.pdf (11 MB)
EETOP创芯人才网简历投递入口
回复 支持 反对

举报

risccpu
发表于 2018-11-2 11:41:20 | 显示全部楼层
Formal verification book.
EETOP创芯人才网职位发布入口
回复 支持 反对

举报

thanhbinh
发表于 2018-11-15 11:40:01 | 显示全部楼层
the best book for formal verification
EETOP创芯人才网简历投递入口
回复 支持 反对

举报

gyong22
发表于 2019-2-11 17:30:03 | 显示全部楼层
good material
EETOP创芯人才网职位发布入口
回复 支持 反对

举报

sg20067701
发表于 2019-3-9 22:02:48 | 显示全部楼层
点赞！谢谢！
EETOP创芯人才网简历投递入口
回复 支持 反对

举报

gliss6306
发表于 2019-3-9 22:56:12 | 显示全部楼层
thanks
回复 支持 反对

举报

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

本版积分规则

关闭

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


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

GMT+8, 2025-1-1 01:29 , Processed in 0.094498 second(s), 8 queries , Gzip On, Redis On.

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