[Data] NEC OPENCAD Formality User Manual

Ftungcuala01 · 发表于 2013-12-18 22:52:48

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

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

×

Hi all,This is the Formality Interface User Manual from NEC Electronic Corp.
Although it published in 2003, it is still useful for those who work with Formality Equivalence Checking.
You guys can also try the "Formality Jumpstart" and "Formality Debugging Failing Verification" document (+lab) from Synopsys Solvnet.

#If you do not have them, please let me know, I'll upload.

Regards,

Formality UM:

System_LSI_Design_OPENCAD__Formality_UM.pdf (646.21 KB , 下载次数: 62 )

trippa · 发表于 2014-10-31 16:35:31

多谢分享

wmlsxq · 发表于 2015-8-26 18:42:50

不知道那里能下载到这个软件呢？有没有知道的啊

mangotango · 发表于 2015-10-4 15:42:58

great post

rongjunzhou33 · 发表于 2017-10-11 17:39:35

谢谢分享

火凤凰 · 发表于 2018-8-10 09:33:33

thanks~

账号		自动登录	找回密码
密码			注册

[资料] [Data] NEC OPENCAD Formality User Manual

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

相关帖子

浏览过的版块