Main Content

La traducción de esta página aún no se ha actualizado a la versión más reciente. Haga clic aquí para ver la última versión en inglés.

Model Verification

Bloques para la auto verificación de modelos, como Check Input Resolution

Use bloques de la biblioteca Model Verification para crear modelos de autovalidación, incluida la comprobación de si las señales cumplen o no los límites especificados durante la simulación.

Bloques

AssertionCheck whether signal is zero
Check Dynamic GapCheck that gap of possibly varying width occurs in range of signal's amplitudes
Check Dynamic RangeCheck that signal falls inside range of amplitudes that varies from time step to time step
Check Static GapCheck that gap exists in signal's range of amplitudes
Check Static RangeCheck that signal falls inside fixed range of amplitudes
Check Discrete GradientCheck that absolute value of difference between successive samples of discrete signal is less than specified value
Check Dynamic Lower BoundCheck that one signal is always less than another signal
Check Dynamic Upper BoundCheck that one signal is always greater than another signal
Check Input ResolutionCheck that input signal has specified resolution
Check Static Lower BoundCheck that signal is greater than (or optionally equal to) static lower bound
Check Static Upper BoundCheck that signal is less than (or optionally equal to) static upper bound