Synopsys Formality: Debugging Failing Verifications Training

liuguangxi · 发表于 2015-1-10 23:33:09

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

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

x

Formality: Debugging Failing Verifications Training
This self-paced training describes failing verifications in Formality, their possible causes, and some techniques that can be employed to resolve them.

Formality Debugging Failing Verifications Training.rar (13.95 MB, 下载次数: 1862 )

temp15555 · 发表于 2015-1-20 17:08:41

谢谢分享

futurehome · 发表于 2015-1-25 00:02:59

好资料。一直觉得fv很难dbug。

summerxxy · 发表于 2015-1-27 13:38:57

多谢分享

yuanpin318 · 发表于 2015-1-31 22:09:15

谢谢分享

wxilzx · 发表于 2015-2-26 09:17:48

谢谢楼主

ymli123 · 发表于 2015-3-2 16:47:28

谢谢楼主分享。

nico0811 · 发表于 2015-3-3 22:26:59

good,3x

高瞻forever · 发表于 2015-8-4 09:52:54

谢谢楼主！

feixia1 · 发表于 2015-8-22 10:33:05

谢谢， FV真的很难debug

[资料] Synopsys Formality: Debugging Failing Verifications Training

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

相关帖子

站长推荐 /3