nLint很不靠谱,还是我用得有问题
时间:10-02
整理:3721RD
点击:
大家有没有遇到过明明有规则违反,但nLint不报出来的情况?
我遇到过2次。
一次是例化模块时输入端口根本没写,悬空了。
nLint的规则25001我肯定选上了,结果nLint没报Signal with No Driver错误。
还好后来看verdi的schematic时正好让我看到了。
一次是下面这句话:
sar_match=(SAR==shift_in_reg[5:0]);
其中SAR的宽度是6:0,shift_in_reg的宽度是7:0。
这句话显然存在位宽不匹配的问题,nLint也没报。
想请问下大家有没有遇到过这种情况?
还是我用得不对啊?
我用的是nLint2011.10版,规则集用的就是默认自带的规则集。
我遇到过2次。
一次是例化模块时输入端口根本没写,悬空了。
nLint的规则25001我肯定选上了,结果nLint没报Signal with No Driver错误。
还好后来看verdi的schematic时正好让我看到了。
一次是下面这句话:
sar_match=(SAR==shift_in_reg[5:0]);
其中SAR的宽度是6:0,shift_in_reg的宽度是7:0。
这句话显然存在位宽不匹配的问题,nLint也没报。
想请问下大家有没有遇到过这种情况?
还是我用得不对啊?
我用的是nLint2011.10版,规则集用的就是默认自带的规则集。
但是我觉得这个有点离谱了。
一般软件有点bug都是在比较复杂、特殊的情况下才会出些问题,这都是可以接受的。
我遇到的这两个例子我觉得都是很明显的问题,有时会查不出来,
这个工具的可靠性有些不能接受了。
这个是你没选22104那个rule