[Linux]ASSURA416/PVS222

@ya · 发表于 2023-8-23 15:01:48

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

x

本帖最后由 @ya 于 2023-8-23 16:02 编辑

发两个C家自己的物理验证工具：ASSURA和PVS
ASSURA版本为：4.16.001
PVS版本为：22.20.000

ASSURA.txt (84 Bytes, 下载次数: 84 , 售价: 20 信元资产 )

PVS.txt (84 Bytes, 下载次数: 80 , 售价: 20 信元资产 )

伪界 · 发表于 2023-8-23 17:01:46

感谢分享

lovepuyu · 发表于 2023-8-23 17:16:29

感谢分享

zcry21cn · 发表于 2023-8-23 19:53:41

感谢分享

tracy6969 · 发表于 2023-8-24 04:44:47

Thanks

laonan007 · 发表于 2023-8-24 10:30:24

谢谢啦！

zhangmengxyz · 发表于 2023-8-29 22:56:22

感谢分享！

neo.yi · 发表于 2023-8-30 10:18:57

兄弟有没有， cadence 的certus？共享一下呗，谢谢啦

gujm · 发表于 2023-9-1 02:57:31

感谢分享

johs01 · 发表于 2023-9-1 05:46:27

thank you for your sharing

站长推荐 /2