1 waive文件
waive -file { {file_name*} }
*号是模糊匹配,可以在文件名中的任意位置。
2 waive rule
waive -rule { {rule_name} }
一般不建议使用,可以按照第三条使用,对某个module进行rule的waive。
3 对module添加某条rule
waive -du { {module_name} } -rule { {rule_name} } -comment {add comment}
4 按照信号名添加waive
如:rule W111:Not all elements of an array are read
waive -msg { Not all elements of array ‘signal_name’ *} -rule { {W111} } -comment {add comment}
*号是模糊匹配, 屏蔽rule中和signal_name相关的warning
也可以指定module
waive -du { {module_name} } -msg { Not all elements of array ‘signal_name’ *} -rule { {W111} } -comment {add comment}