[求助] formality中关于关于asyn state holding loop 问题

[复制链接]

pxy

发表于 2010-4-26 22:49:59 | 显示全部楼层 |阅读模式

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

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

rtl2gate的 formality 验证时有asyn state holding loop的问题
verify 会报出7个aborted pionts，原因是loop ;
而实际 report_loop -ref
   report_loop -imp
结果确有5个loops,为什么和verify的结果好像不一样？？？？
是不是需要设置 set_cutpoints -type net r:/WORK/CORE/**
set_cutpoints -type net i:/WORK/CORE/**
7个aborted pionts设置为上面得**后，结果verify 会报出7个aborted pionts；
report_loop -ref
   report_loop -imp两个文件报告的路径有一些差异，应该怎样对应；

holding, net, state, verify

[求助] formality中关于关于asyn state holding loop 问题

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

相关帖子

站长推荐 /2