Checking Output
assert condition
report debug-string
severity note | warning | error | failure;
Syntax:
Output read as a normal signal read
Checking done with assert-report-severity
Previous slide
Next slide
Back to first slide
View graphic version