Simulink Control Design™ - MathWorks

When a block asserts, warnings appear in this window. You can view the details of the

assertions by clicking the link in this window.

14 Model Verification