Assert Rules¶
assert_001¶
This rule checks indent of multiline assert statements.
Violation
assert WIDTH > 16
report "FIFO width is limited to 16 bits."
severity FAILURE;
Fix
assert WIDTH > 16
report "FIFO width is limited to 16 bits."
severity FAILURE;
Alignment Rules (400 - 499)¶
assert_400¶
This rule checks the alignment of the report expressions.
Note
There is a configuration option alignment which changes the indent location of multiple lines.
alignment set to ‘report’ (Default)¶
Violation
assert WIDTH > 16
report "FIFO width is limited" &
" to 16 bits."
severity FAILURE;
Fix
assert WIDTH > 16
report "FIFO width is limited" &
" to 16 bits."
severity FAILURE;
alignment set to ‘left’¶
Violation
assert WIDTH > 16
report "FIFO width is limited" &
" to 16 bits."
severity FAILURE;
Fix
assert WIDTH > 16
report "FIFO width is limited" &
" to 16 bits."
severity FAILURE;