Model Verification

모델을 자체 검증하기 위한 블록(예: Check Input Resolution)

Model Verification 라이브러리의 블록을 사용하여 시뮬레이션 중에 신호가 지정된 제한을 충족하는지 확인하는 등 자체 검증 모델을 만듭니다.

블록

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