Documentation

我们为许可用户提供了部分翻译好的中文文档。您只需登录便可查阅这些文档

Model Verification

Blocks for self-verifying models, such as Check Input Resolution

Blocks

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 upper bound
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
Was this topic helpful?