Model Verification
R2026b在仿真期间验证信号保持在指定边界内的模块，例如 Assertion 和 Check Static Range
使用 Model Verification 库中的模块检查信号在仿真期间是否满足指定的边界和条件。当信号违反验证条件时，模块可以显示警告、停止仿真或两者兼有 - 从而帮助您在不编写单独测试脚本的情况下及早发现设计错误。
要将此库中的模块添加到您的模型，请参阅向模型添加模块。
模块
 | Assertion | 检查信号是否为零 |
 | 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 |
工具
| 库浏览器 | 查找并向模型添加模块 |
主题
- 向模型添加模块
使用库浏览器和快速插入菜单插入模块。
