验证子系统

在不影响模拟结果或生成代码的情况下指定证明或测试目标

图书馆

仿真软件设计验证器

描述

这个方块是子系统块，它被预先配置为作为创建子系统的起点，该子系统指定了证明或测试目标动态仿真模块^®设计验证器™软件

的仿真软件编码器™软件在代码生成过程中忽略验证子系统块，就像子系统不存在一样。一个验证子系统块允许您添加仿真软件设计验证器组件到模型中而不影响其生成的代码。

请注意

如果一个验证子系统块包含依赖于绝对时间的块，并且您选择一个ERT-based目标(仿真软件编码器)如果需要生成代码，请将软件环境设置为绝对时间。打开“配置参数”对话框。在代码生成>接口窗格下软件环境中,选择绝对时间．不选择连续时间．有关此设置的更多信息，请参见支持:绝对时间(嵌入式编码)．

当收集模型覆盖率时，仿真软件覆盖™软件只记录覆盖率仿真软件设计验证器块中的验证子系统块;它不记录验证子系统中任何其他块的覆盖范围。

要在模型中创建一个验证子系统: