|
马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?注册
x
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, 下载次数: 61 )
|
|