菜鸟求助~~LEC 问题

Civil86 · 发表于 2013-4-19 11:03:49

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

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

x

用rc综合处的netlist 做code跟netlist的lec时提示
compared points are: non-equivalent
G + DFF _reg[1]
R + DFF _reg_1_/U$1
是不是renamed的问题呀
使用命令 add renaming rule r0 "_reg_%d_\/U\$%d" "_reg\[@1\]" -reversed 结果一样

lyl823 · 发表于 2013-5-31 11:25:30

我是刚学习lec，你可以试试在lec mode下使用analyze_noneq命令来查看不等效的原因。
请教：在rtl里面有个寄存器addr_4[12:5],用rc综合之后的netlist中变成了addr_4[7:0]，然后进行lec验证就不能等效了，于是我就使用add renaming rule 命令，放在read library和read design之前。结果lec验证就跑不动了，一直停在一个位置不动，是什么原因？

Civil86 · 发表于 2013-6-20 11:04:19

综合时如果加add renaming rule lec时同样需要加一个add remaing rule.我发现单独把出问题底层模块拿出来，rc之后lec比较没有问题。查看原因应该是功能相同的信号有一个被优化掉导致跟另外一个信号有关point出现non-equivalent

[求助] 菜鸟求助~~LEC 问题

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

相关帖子

站长推荐 /2