使用formality检查对比带有扫描链的门级网表在reorder之前和之后的差异

智乐 · 发表于 2014-1-7 15:26:09

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

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

x

大牛们：
使用formality检查带有扫描链的门级网表在reorder之前和之后的差异。我用一个小的例子在做实验。

在setup阶段，禁止了网表的scan功能，但是verify之后，会有一个扫描输出端verify fail。查看扫描输出端的连出端一个是逻辑“0”，一个是逻辑“1”，这个是本身reorder的问题，还是我前面少写了什么设置？？大牛，求解啊！
----------------------------------------------------------------------------------------
Matched Compare Points    BBPin Loop BBNet    Cut Port    DFF    LAT TOTAL
----------------------------------------------------------------------------------------
Passing (equivalent)          0    0    0    0    12    12    0    24
Failing (not equivalent)    0    0    0    0    1    0    0    1
****************************************************************************************

edwardk · 发表于 2018-11-18 20:07:33

学习中。。。。。。。。

[求助] 使用formality检查对比带有扫描链的门级网表在reorder之前和之后的差异

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

相关帖子

站长推荐 /3