分享formal verification电子书

kang.kang · 发表于 2019-8-23 14:02:31

您需要登录才可以下载或查看，没有账号？注册

x

最近在看formal verification方面的东西，找到一本书觉得不错，分享给大家。

网上关于formal verification的资料似乎不多，大家有好的资料和学习途径以及对formal verification的看法欢迎留言回复~~

下载地址见附件，提取码回复可见。
提取码:

游客，如果您要查看本帖隐藏内容请回复

补充内容 (2021-8-20 16:22):
更多资料进Q群交流 698677676

chengjjsihan · 发表于 2024-11-11 22:33:07

谢谢

Alan99930 · 发表于 2024-11-9 17:25:19

Thanks

tyronechyi · 发表于 2024-11-8 11:23:34

提取码怎么用呢

tyronechyi · 发表于 2024-11-8 11:20:06

感谢分享

ZDHCUMT · 发表于 2024-11-6 19:24:24

看看

博丽灵梦 · 发表于 2024-11-6 17:33:55

感谢分享

UncleZhang13 · 发表于 2024-11-5 16:44:24

6666666666666666666

igolaps · 发表于 2024-11-5 15:57:51

good, thanks

小屌丝 · 发表于 2024-11-5 15:35:31

感谢分享，回复看看

icman__aowu · 发表于 2024-11-5 11:39:02

谢谢分享

[资料] 分享formal verification电子书