formality 后端gate to gate比较的问题

forestimber · 发表于 2013-12-21 13:52:17

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

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

x

fail points普遍存在，但是打开cone看实际上pattern都是一致的，怀疑是后端修的时候inverter在同一层hier内不是成对出现的，而是这个模块一个，通到顶层3个，再进入那个模块一个，合起来pattern/function一致，但是formal由于某种原因认为不一致。有没有什么variable设置formality让这类问题通过？

yl5495 · 发表于 2013-12-23 07:31:24

formality脚本记得不是很清晰了，set verification_inversion_push true 试试看是否有效？

cuteworm · 发表于 2014-4-16 17:19:33

順便問下
gate to gate有甚麼加速的腳本可用

[求助] formality 后端gate to gate比较的问题

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

相关帖子

站长推荐 /1