形式验证很多EXtra和unreachable,望高手指教

[复制链接]

断岩

发表于 2008-5-25 18:57:57 | 显示全部楼层 |阅读模式

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

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

对一个CPU核进行形式验证,结果综合后的网表出现很多的unreachable 和 EXtra,看到贴子说可以把扫描链 disable 掉,请问:在Conformal里怎样才能disable掉扫描链?在综合的时候,因为工艺库缺少一些 ram库,所以用Artisan生成了一些库,添加后进行综合.而现在这些Extra大多也出现在ram上.请问:会不会是工艺库方面的问题?怎么解决呢?.望高手指点,谢谢!

怎样

相关帖子

返回列表

高级模式

B Color Image Link Quote Code Smilies

您需要登录后才可以回帖登录 | 注册

本版积分规则回帖后跳转到最后一页

GMT+8, 2024-11-5 06:05 , Processed in 0.015620 second(s), 12 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网