Formality的RTL和网表对比出错

zqcawzs · 发表于 2016-4-5 20:04:44

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

x

查了错误之后发现，是时钟选择模块出了问题。这个模块是一个三选一的MUX选择三个时钟中的一个。网表中确实是一个三选一的MUX，但是RTL里面显示的是一堆很奇怪的东西。所以想问一下Formality是什么原理将网表中的门和RTL的功能进行对比的？我这种情况可能的原因是什么？

谢谢！

zero_0 · 发表于 2016-4-6 09:18:06

有加上 DC 出来svf吗？
加上还不行就试下 set_case_analysis吧, 印象中不需要这句也可以比。

zqcawzs · 发表于 2016-4-6 15:53:24

回复 2# zero_0

你好，我已经加上svf文件了。很奇怪，我单独综合了那个模块，是可以通过formality的，但是加进去就不行了。

[求助] Formality的RTL和网表对比出错