大批量的错误

上一篇 / 下一篇 2008-06-18 11:05:05 / 个人分类：职业生涯

昨天的formality，除了大量的错误--有将近500个之多。这是我从没有经历过的。没有逐个检查，而是从中随机挑了几个看Logic，就发现了一个重大的共同的问题：在layout之后的netlist中，有大量的TIEHI单元出现。这些单元，是在之前的版本中所不曾出现过的，而且在synthesis之后的netlist中也不曾出现的。就是他们的出现导致了很多错误的产生（我不能说是全部的，因为我并没有检查每个错误）。这些TIEHI单元出现的位置都是不正确的。比如，它取代了某些register的位置，或者某个组合逻辑的位置，或者取代了GND的位置。从几个点的比较中我就已经看到了这样的信息。这就等于说，在layout之后，整个netlist的连接关系完全改变了，逻辑关系自然也随之改变。这样的两个netlist，不可能相等。

layout的这个错误，已经进行了反馈。不知道他们能不能找出原因之所在。因为据他们说，从上一个版本到这个版本，脚本并没有改变。这一版和上一版，除了design稍有差异，最大的区别就是工艺的变化了，从一家代工厂换到了另一家代工厂。所以，我有理由怀疑这是layout库的错误。当然，这也只是我的怀疑而已。分析的结果如何，还需要等待。