SOC验证——用_Formality_做形式验证

sixiy028 · 发表于 2014-3-5 16:00:26

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

x

autim · 发表于 2014-3-6 14:31:50

一般是DC可以支持formality. QUARTUS能支持用formality做形式验证么

pktzj117 · 发表于 2014-3-8 11:25:38

支持支持感谢分享

lmeletric8 · 发表于 2014-3-30 13:04:13

顶.............................................

荆棘鸟OO · 发表于 2014-4-16 13:47:27

多谢分享！

colindeng · 发表于 2014-6-24 12:25:27

多谢分享

maochrng · 发表于 2014-7-14 19:09:45

看看那先

dcircuit · 发表于 2014-7-14 19:19:59

学习学习

lddyx123 · 发表于 2014-7-25 10:46:12

谢谢了，看看

Ralphjh · 发表于 2014-8-6 13:42:45

谢谢了，看看

[资料] SOC验证——用_Formality_做形式验证