用formality进行验证时，如何避免floating pin的存在而导致形式验证通不过

智乐 · 发表于 2013-12-20 14:37:33

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

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

x

本帖最后由智乐于 2013-12-24 10:15 编辑

在verification时，

----------------------------------------------------------------------------------------
Matched Compare Points    BBPin Loop BBNet    Cut Port    DFF    LAT TOTAL
----------------------------------------------------------------------------------------
Passing (equivalent)          0    0    0    0    311 6821    0 7132
Failing (not equivalent)    0    0    0    0    4    2    0    6
****************************************************************************************
Info:  Formality Guide Files (SVF) can improve verification success by automating setup.
0
会有4个port，查看4个port是design里面的悬空pin，并且对比的reference design 和implementation design里面都有这四个ports，在formality里面有什么语句可以设置能够控制避免这种verification fail的现象？