分享formal verification电子书

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

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

x

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

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

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

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

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

icman__aowu · 发表于 1 小时前

谢谢分享

真诚的小鲸鱼 · 发表于 5 天前

我也是想要的

真诚的小鲸鱼 · 发表于 6 天前

我也是想要的

hm502 · 发表于 2024-10-25 11:40:35

找了好久的资料，谢谢楼主

guojiayuan · 发表于 2024-10-23 11:18:37

谢谢

ICer_LCX_9793 · 发表于 2024-10-17 10:07:08

感谢分享

lorenzoii · 发表于 2024-10-16 15:12:35

66666

ListenCC · 发表于 2024-10-12 15:03:47

感谢分享

janlesion · 发表于 2024-10-12 13:42:21

:):):):):)

clslhy · 发表于 2024-10-8 09:41:31

谢谢分享

[资料] 分享formal verification电子书