2009年8月17日
使用formality的技巧
摘要： 经常code大了之后，formality要消耗很多时间，甚至几天，十天都跑不出结果，最后abort完事。有人说只要是没直接报fail，就算过了，这也比较危险，都abort了，过没过全凭运气了。我介绍一个行之有效的办法：先用最基本的编译一把，即只用compile，scan啊所有的优化选项都不要，出来的网表叫做gtl_base.v,然后用compile_ultra编译，加上所有需要的优化选项，high... 阅读全文
posted @ 2009-08-17 22:06 beinghu2 阅读(972) 评论(2) 推荐(1) 编辑
yahoo