主要内容
用于证明模型属性的工作流程
要证明您的设计模型的属性，请使用以下工作流程：
确定设计模型的验证目标，例如，根据您的要求规格。
仪器设计模型指定证明目标和证明假设。
对于简单的属性，用块或matlab仪器仪器®指定证明目标的函数。
对于系统级属性，构造包含a的验证模型模型通过相同的输入和输出，块引用设计模型并定义设计模型接口上的属性。
使用证明假设块或定义分析约束
sldv.assume.。这些约束适用于所有支持的证明目标。笔记
证明假设应用于所有支持的证明目标。确保您没有指定任何矛盾的假设，因为这可能会使整个分析无效。
指定控制如何的选项金宝app®设计Verifier™证明了模型的属性。
执行金宝appSimulink Design Verifier分析和审查结果。
对于演示此工作流程的练习，请参阅在模型中证明属性。
相关话题
您还可以从以下列表中选择一个网站：
