以无效属性证明属性
此示例显示如何使用 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');
