Analyze and simulate referenced models, subsystems, or atomic subcharts in a model. Isolate a subsystem or a referenced model for testing by extracting it into a harness model. Monitor time-domain signals in your model during simulation, according to specifications that you assign to blocks. Construct signal verifications, and selectively apply them based on the simulation input group.
|Assertion||Check whether signal is zero|
|Check Dynamic Gap||Check that gap of possibly varying width occurs in range of signal's amplitudes|
|Check Dynamic Lower Bound||Check that one signal is always less than another signal|
|Check Dynamic Range||Check that signal falls inside range of amplitudes that varies from time step to time step|
|Check Dynamic Upper Bound||Check that one signal is always greater than another signal|
|Check Input Resolution||Check that input signal has specified resolution|
|Check Static Gap||Check that gap exists in signal's range of amplitudes|
|Check Static Lower Bound||Check that signal is greater than (or optionally equal to) static lower bound|
|Check Static Range||Check that signal falls inside fixed range of amplitudes|
|Check Static Upper Bound||Check that signal is less than (or optionally equal to) static upper bound|
Strategies for verifying functional units of your model, in isolation or in the context of a larger system.
Simulink® Model Verification library blocks assess time-domain signals in your model, according to the specifications that you assign to the blocks.