La traduction de cette page n'est pas à jour. Cliquez ici pour voir la dernière version en anglais.

Model Verification

R2026a
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 blockAssertionVérifier si le signal est de zéro
Check Dynamic Gap blockCheck Dynamic GapCheck that gap of possibly varying width occurs in range of signal's amplitudes
Check Dynamic Range blockCheck Dynamic RangeCheck that signal falls inside range of amplitudes that varies from time step to time step
Check Static Gap blockCheck Static GapCheck that gap exists in signal's range of amplitudes
Check Static Range blockCheck Static RangeCheck that signal falls inside fixed range of amplitudes
Check Discrete Gradient blockCheck Discrete GradientCheck that absolute value of difference between successive samples of discrete signal is less than specified value
Check Dynamic Lower Bound blockCheck Dynamic Lower BoundCheck that one signal is always less than another signal
Check Dynamic Upper Bound blockCheck Dynamic Upper BoundCheck that one signal is always greater than another signal
Check Input Resolution blockCheck Input ResolutionCheck that input signal has specified resolution
Check Static Lower Bound blockCheck Static Lower BoundCheck that signal is greater than (or optionally equal to) static lower bound
Check Static Upper Bound blockCheck Static Upper BoundCheck that signal is less than (or optionally equal to) static upper bound