1 waive文件
waive -file { {file_name*} }
*號是模糊匹配，可以在文件名中的任意位置。
2 waive rule
waive -rule { {rule_name} }
一般不建議使用，可以按照第三條使用，對某個module進(jìn)行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相關(guān)的warning
也可以指定module
waive -du { {module_name} } -msg { Not all elements of array ‘signal_name’ *} -rule { {W111} } -comment {add comment}
