Model Verification
Blocs pour l'auto-vérification des modèles tels que Check Input Resolution
Utilisez les blocs de la bibliothèque Model Verification pour créer des modèles auto-validés qui vérifient entre autres si les signaux respectent les limites spécifiées pendant la simulation.
Blocs
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 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 |