SNUG 2023 SV论文

dummy_tony · 发表于 2023-5-13 10:44:38

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

x

公司虽然黄了，但是还要继续学习。

Pushing Verifiable QOR by enabling Formal Equivalence Verification.pdf (903.1 KB, 下载次数: 33 )

后端讨论群讨论，感兴趣的加入吧，账号下载了不少S/C的资源。哎，太难了，这行业下行明显了。。

smrecnik · 发表于 2023-5-13 12:52:40

thanks

dcircuit · 发表于 2023-5-13 21:37:19

kansdksand

dennates · 发表于 2023-5-14 00:50:24

thx~~~~

chiuchiu · 发表于 2023-5-14 20:36:03

Thanks

king-wa · 发表于 2023-5-15 09:36:59

大佬哲库的吗？

solaris · 发表于 2024-4-23 22:53:48

能否打包下载分享，top10的都有借鉴价值，谢谢，https://www.synopsys.com/communi ... oceedings-2023.html

solaris · 发表于 2024-4-23 22:54:49

zfx253 · 发表于 6 天前

solaris 发表于 2024-4-23 22:54
AI的内容也令人期待，https://www.synopsys.com/news/pubs/snug/2023/silicon-valley/ai.zip

这个一个包比较方便下载，上面那个太分散了

bin_bingo · 发表于前天 11:40

thanks

[原创] SNUG 2023 SV论文