encounter set dont touch 问题[已解决]

conniezhou

请问各位大侠：

      在encounter中对一个module 设成dont touch 的话
如果这个module 里面需要进行timing 优化 是否可以加一些clkinv and clkbuff呢？

另外encounter再place优化的时候，会干掉一些buff ，那么它干掉的原则是什么？


楼下的回复都是很好的方法。感谢回复！

陈涛

1）要去掉dont_touch后才可以加，暴力的手动的可能可以
2）-preOpt 会干掉尽可能多的buff/inv

conniezhou

感谢版主回复！
那么如果有相似的module的话，encounter会将这些相似的module 重组，简化呢>
因为现在发现place 之后有好些module 变成空的啦。
这里包括SPARE 和只有那些buffer 的 module 。如果只有buffer的module ，被优化掉，变成empty module还是可以理解的。但是有些不是全部都是buff and inv 的module 也被优化，变成empty module 了。
所以这里请问这样的place 之后的netlist 是否能过formal ，这些empty module 的出现是否正常？

陈涛

spare要单独定义
encounter敢把那些module优化掉，应该有把握通过LEC

conniezhou

试试看 ，能不能过lec吧！
现在发现原因是用foundation flow run过place 之后就又很多empty module 了。
而用手工place的就没有优化掉任何module。

把两个netlist 做formal，看能不能都过。结果晚些发过来。

robberxiong

formality做led效果不是很好，还是用cadecne的lec做比较好

conniezhou

楼上说的led 也是形式验证吗？
为什么效果会不如cadence的lec好呢？

conniezhou

现在发现在place prePlace Opt and inPlace opt 都选择的情况下，有部分module 就变成空的了。

所以这样的不知道这个空的module是被重组了还是直接被砍掉了？
如果直接砍掉的话，那么formal 就肯定不过
如果是重组的话，那为啥还留一个空的module 呢？

damonzhao

代码谁写的？问问他哪个被搞掉的module干嘛的呀

conniezhou

   

opt后有empty module是正常的，只要FM能过
zhq415758192 发表于 2012-5-31 23:10

                               
登录/注册后可看大图

那么这些empty module 是基于何种原则来优化产生的呢？
而且如果formal 不过的话，如何处理此处？

另外在place的时候不让工具去 in-place opt ，在用foundation flow 的时候 在cts之后也会
出现一些empty module 。所以按照我的理解，无论怎样都应该是formal通过的。但是一但通不过
的话，我该怎么办？
因为流程都是自动的，有哪些选项会导致这些formal不过的现象？