在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
楼主: kang.kang

[资料] 分享formal verification电子书

[复制链接]
发表于 2020-5-22 08:48:56 | 显示全部楼层
Thanks
发表于 2020-5-22 00:53:07 | 显示全部楼层

发表于 2020-5-19 17:43:15 | 显示全部楼层
thanks
发表于 2020-5-18 17:37:10 | 显示全部楼层
谢谢啊!
发表于 2020-5-18 06:24:17 | 显示全部楼层
谢谢分享 ,看看
发表于 2020-5-18 04:48:06 | 显示全部楼层
本帖最后由 kk2009 于 2020-5-18 04:51 编辑

回复才能看,先回复~~

好书~~~推荐~~

Assertion 是验证和设计都需要掌握的。。。。。。
发表于 2020-5-17 21:37:50 | 显示全部楼层
感谢楼主
发表于 2020-5-16 23:04:10 | 显示全部楼层
到底是什么?
发表于 2020-5-14 15:54:07 来自手机 | 显示全部楼层
先谢在学
发表于 2020-5-12 09:52:48 | 显示全部楼层
感谢分享.
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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


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

GMT+8, 2025-1-9 10:38 , Processed in 0.023239 second(s), 5 queries , Gzip On, Redis On.

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