一致性比较死在90%的经验交流

forestimber · 发表于 2010-10-27 16:29:37

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

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

x

使用过cadence的conformal LEC，经常可能运行到某个步骤99%的时候停在那里不动了。
也见到synopsys的formality使用者遇到过这样的问题
我认为这通常由于比较规模太大或者内存不够造成的，不排除少数情况工具有bug造成内存泄露。解决办法：
1.  检查是否用的64bit操作
2.  化整为零，用hierarchy 的方法比较。
3.  增加内存，或者增加swap的大小
4.  如果是版本支持，采取distribute compare多用几个cpu做