包含无效属性的属性证明
此示例说明如何使用 Simulink® Design Verifier™ 属性证明分析找出无效属性。它尝试证明，在当前输入值与之前的六个输入值之和大于 6 时，输出等于 2。在本例中，由于单个较大的输入值（例如 255）导致总和大于 6，因此该属性是无效的。Simulink Design Verifier 会生成一个反例来演示违规。
open_system('sldvdemo_debounce_falseprop');
此示例说明如何使用 Simulink® Design Verifier™ 属性证明分析找出无效属性。它尝试证明，在当前输入值与之前的六个输入值之和大于 6 时，输出等于 2。在本例中，由于单个较大的输入值（例如 255）导致总和大于 6，因此该属性是无效的。Simulink Design Verifier 会生成一个反例来演示违规。
open_system('sldvdemo_debounce_falseprop');
