Verifikation von Modellen
R2026aBlöcke für selbst-verifizierende Modelle, wie Check Input Resolution
Verwenden Sie Blöcke aus der Bibliothek „Modell Verification“, um selbstvalidierende Modelle zu erstellen, einschließlich der Überprüfung, ob Signale während der Simulation die vorgegebenen Grenzen einhalten.
Blöcke
 | Assertion | Prüfen, ob ein Signal null ist |
 | Check Dynamic Gap | Check that gap of possibly varying width occurs in range of signal's amplitudes |
 | Check Dynamic Range | Check that signal falls inside range of amplitudes that varies from time step to time step |
 | Check Static Gap | Check that gap exists in signal's range of amplitudes |
 | Check Static Range | Check that signal falls inside fixed range of amplitudes |
 | Check Discrete Gradient | Check that absolute value of difference between successive samples of discrete signal is less than specified value |
 | Check Dynamic Lower Bound | Check that one signal is always less than another signal |
 | 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 Lower Bound | Check that signal is greater than (or optionally equal to) static lower bound |
 | Check Static Upper Bound | Check that signal is less than (or optionally equal to) static upper bound |
