有关门控单元的formality问题

zenoone · 发表于 2017-6-27 10:38:02

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

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

x

综合了一个小模块，加入了门控单元，也就是icg单元，用C和S两家的形式验证工具分别做了逻辑等价检查，二者都报出了门控单元是unmap点，这个倒是可以理解，但是做compare时，LEC工具没有报错，所有dff都是equivalent, 但是formality工具把所有的dff都列为non-equivalent了
svf也已经读入了，不知该怎么处理这个问题好？是不是有什么设置没打开？公司之前都是用C公司的lec，现在改为S的formality了。。。

zenoone · 发表于 2017-6-27 10:48:43

找到设置了，set verification_clock_gate_hold_mode any就可以了

[求助] 有关门控单元的formality问题

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

站长推荐 /3