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

智乐 · 发表于 2014-1-7 15:27:50

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

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

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
****************************************************************************************

AstPower · 发表于 2014-1-8 13:57:49

Reorder之后，它们的SCAN功能就不一样了。你可用FASTSCAN测试Reorder 后SCAN是否正常。

智乐 · 发表于 2014-1-9 09:42:24

回复 2# AstPower

请问 FASTSCAN 是个什么工具？

AstPower · 发表于 2014-1-10 09:49:27

回复 3# 智乐

Fastscan 是Mentor 的DFT 工具

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

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

相关帖子

站长推荐 /2