请教一个lec conformal的问题

整个design做比较的时候，没有Non-equivalent point,但是如果把其中的几个子模块设成
black box,却会出现Non-equivalent point，实在搞不清楚原因，不知道有没有人遇到过类似的情况？

你需要在gui里diagnose,lec是很强的tool，你要学会看user guide,
我不知道具体情况，我可以列举一种情况，
在flatten的情况下，一些key point是constant，
但是你在hierarchy的时候，因为input为blackbox的output,
lec会做 0， 1两种case的比较，就会不等

RE
先看看log,是不是全都map上了
可以从一点点缩小范围,或者扩大范围,去定位
如果在设计里有一些key point是constant,可以add constrain试试
另外diagnose基本上也能看清楚问题