(^11) Resimulate the model to check if bounds are satisfied.
The software satisfies the specified upper magnitude bound, and therefore the
software no longer reports an assertion failure.
14 Model Verification
tuis.
(Tuis.)
#1