我在FM中分别读入rtl代码和DC后的网表进行对比,出来以下提示信息:
Status: Verifying...
Compare point encode_reg_20_ failed (is not equivalent)
Compare point encode_reg_14_ failed (is not equivalent)
Compare point encode_reg_9_ failed (is not equivalent)
Compare point encode_reg_19_ failed (is not equivalent)
Compare point encode_reg_18_ failed (is not equivalent)
Compare point encode_reg_16_ failed (is not equivalent)
...
*******************Verification Results*****************
Verification FAILED
...
这些报错是设计的问题吗?是代码的问题还是综合脚本的问题?我该如何检查和改正我的设计?