Formal Verification An Essential Toolkit for Modern VLSI Design 1&2nd

LuckyCoCo · 发表于 2025-6-4 21:29:47

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

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

x

本帖最后由 LuckyCoCo 于 2025-6-9 13:31 编辑

Formal Verification An Essential Toolkit for Modern VLSI Design 1&2nd

英文原版，附加机翻中文版

第二版的文件名是不对的，下载后自己修改下，第一版的名字是对的。

student321 · 发表于 2025-6-4 23:47:34

kankan

zhb9103 · 发表于 2025-6-5 06:44:24

Good!

encounter_alpha · 发表于 2025-6-5 09:49:02

谢谢

andersondon · 发表于 2025-6-5 09:56:14

感谢分享

skahill · 发表于 2025-6-5 10:23:15

Many thanks

lhyi · 发表于 2025-6-8 09:01:53

Thank you very much

不知名的wei · 发表于 2025-6-9 15:54:28

kankan

jihuang0212 · 发表于 2025-6-13 11:07:52

kankan

[资料] Formal Verification An Essential Toolkit for Modern VLSI Design 1&2nd

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

浏览过的版块

站长推荐 /1