分享formal verification电子书

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

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

x

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

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

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

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

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

crius · 发表于 4 天前

感谢

gychen1993 · 发表于 4 天前

感谢楼主分享，感谢感谢

yunxiao997 · 发表于 2024-3-29 11:31:14

谢谢分享

unclebearbear · 发表于 2024-3-27 04:09:26

Thanks a lot

IC_DFT · 发表于 2024-3-26 10:42:26

好啊好

Qrevlover · 发表于 2024-3-25 17:27:39

感谢

GCR · 发表于 2024-3-21 14:26:47

一生平安

probablywei · 发表于 2024-3-21 10:01:23

感谢

Ulani_chen · 发表于 2024-3-20 15:53:47

1111111

北极燕鸥912 · 发表于 2024-3-20 11:59:23

谢谢

[资料] 分享formal verification电子书