问一个Formality的问题，达人请进

yhang0 · 发表于 2013-1-19 10:50:35

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

x

我用formality工具对RTL代码和综合后网表进行验证，会出现很多不匹配点，svf文件我已经读入了，但还是有很多不匹配。

请问该如何去查找不匹配的原因？？ RTL代码读入之后被转化成了布尔函数库，很难和RTL代码本身联系起来。。

legend03u8z · 发表于 2013-1-19 16:16:28

debug_ cell_name?
report_truth_table

cei527 · 发表于 2013-1-19 22:45:24

造成不匹配的原因很多啊，需要你具体的报告才能分析，具体的unmatch报告最好提供

yl5495 · 发表于 2013-1-22 12:21:52

formality 有些关键设置都做了吗？比如：
set verification_inversion_push true

[求助] 问一个Formality的问题，达人请进