有事情可做了

上一篇 / 下一篇 2008-06-17 15:10:25 / 个人分类：职业生涯

本来打算今天开始芯片的测试，可是早上到实验室看了看，暂时确定没有办法执行--没有空闲的实验台和仪器。回来跟BWANG建议排一下班，否则会比较麻烦。到现在还没有回音。

    还有不到一星期就要tapeout了，今天第一次做formality。结果很出乎我的意料。首先是不能正常的建立Implementation。后来查处来是因为layout的时候多加了一个二极管。不知道为什么。这个二极管是没有作用的。库里没有它，所以无法建立连接。只好手动改库文件，加上这么一个单元。

    接下来继续进行。依然不顺利。此刻还在verify，已经保持很多很多not equivalent了。尚且不知道为什么，因为以前没有出现过这种情况。一种可能是所用的RTL code 和layout之后的netlist确实是不匹配的。code被改过？maybe。另外一种可能就是，synthesis或者layout中引入了错误，layout的可能性更大一些，因为synthesis是完全由软件完成的，而layout中有手工调整的过程。

   原因还需要进一步的分析。

全部脚印 不留脚印留下脚印:

导入论坛收藏分享给好友推荐到圈子管理举报

TAG:

引用删除 linda_0823 / 2008-07-01 10:05:47: 原帖由xjtuwangxr98于2008-06-19 15:13:47发表
二极管可能是做关于电源或ESD方面的，这些是逻辑设计和综合时不会考虑的，PR会注意这些问题，形式验证不

似乎也不是.因为整个芯片是数模结合的,电源或者ESD是在模拟部分处理.做形势验证的只有数字部分的设计.出现的二极管,据说就是为了让DRC通过才加上的.所以才觉得奇怪.

引用删除 xjtuwangxr98 / 2008-06-19 15:13:47: 二极管可能是做关于电源或ESD方面的，这些是逻辑设计和综合时不会考虑的，PR会注意这些问题，形式验证不要做全芯片的，而是要做核心逻辑的。如果可能，最好让后端输出层次化的网表，可以很清楚看到那些器件不是你设计中包含的。

查看全部评论