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}