使用formality的技巧

经常code大了之后，formality要消耗很多时间，甚至几天，十天都跑不出结果，最后abort完事。
有人说只要是没直接报fail，就算过了，这也比较危险，都abort了，过没过全凭运气了。
我介绍一个行之有效的办法：先用最基本的编译一把，即只用compile，scan啊所有的优化选项
都不要，出来的网表叫做gtl_base.v,然后用compile_ultra编译，加上所有需要的优化选项，
high_effort等都加上，出来的网表叫gtl_ultra.v。剩下的事情就好办了，把rtl同gtl_base.v做
formality，然后把gtl_ultra.v同gtl_base.v做formality，都过的话，我们的目的就达到了。

转载于:https://www.cnblogs.com/beinghu2/archive/2009/08/17/1548444.html