(^7) Stop the simulation if assertion fails by selecting Stop simulation when assertion
fails in the Assertion tab.
14 Model Verification
tuis.
(Tuis.)
#1