内置模块替换
Simulink® Design Verifier™软件提供了一套模块替换规则,以及相应的替换模块库。在分析模型时使用这些内置模块替换。它们可以作为示例,您可以检查它们来学习如何创建自己的模块替换。
下表列出了出厂默认的模块替换规则,可在
文件夹中找到。每个出厂默认的模块替换规则都有两种实现。文件名以 matlabroot
\toolbox\sldv\sldv\private_normal.m
结尾的规则将模块替换为 Subsystem 模块。
文件名 | 描述 |
---|---|
| 用包含由 断点 参数指定的每个断点和区间的测试目标的实现替换 1-D Lookup Table 模块的规则。 |
| 将测试条件/Proof Assumption 模块添加到 2-D Lookup Table 模块的输入端口的规则。每个测试条件/Proof Assumption 模块模块信号值限制在相应断点向量指定的区间。 |
| 将测试条件/Proof Assumption模块添加到 数据端口数量 参数为 |
| 将测试条件/Proof Assumption模块添加到 数据端口数量 参数为 |
| 将测试条件/Proof Assumption模块添加到 数据端口数量 参数为 |
| 将测试条件/Proof Assumption模块添加到 数据端口数量 参数为 |
| 用包含测试目标的实现替换Switch模块的规则,要求当第一和第三个输入端口的值不同时,执行每个开关位置。 |
| 该规则用将非虚拟总线输入转换为虚拟总线输入的实现来替换具有非虚拟总线输入的 Switch 模块。该实现包括测试目标,并要求在第一和第三个输入端口的值不同时执行每个开关位置。 |
| 将测试条件/Proof Assumption模块添加到 索引选项 参数为 |
| 将测试条件/Proof Assumption模块添加到 索引选项 参数为 |
与出厂默认规则相对应的替换模块库是
matlabroot/toolbox/sldv/sldv/sldvblockreplacementlib