形式验证的参考资料

3456721 · 发表于 2020-1-20 09:38:08

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

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

x

Digital Logic Synthesis and Equivalence Checking Tools
Hardware Veri¯cation Group
Department of Electrical and Computer Engineering,
Concordia University, Montreal, Canada
CAD Tool Tutorial

Jesin · 发表于 2020-1-20 09:53:45

头牌
下来看看

dcircuit · 发表于 2020-1-20 19:05:00

thanks a lot

hughs · 发表于 2020-1-21 09:27:32

谢谢分享

nokia70 · 发表于 2020-6-19 13:25:26

Jesin 发表于 2020-1-20 09:53
头牌
下来看看

thanks

xielinfeng · 发表于 2020-6-20 09:14:17

楼主好人

nokia70 · 发表于 2020-6-24 15:05:53

谢谢楼主

zhang9yeah · 发表于 2021-6-27 17:23:58

学习形式验证中，多谢分享

[原创] 形式验证的参考资料

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

站长推荐 /2