Main Content

本页采用了机器翻译。点击此处可查看英文原文。

以无效财产证明财产

打开脚本

此示例显示如何使用 Simulink® Design Verifier™属性证明分析来查找无效属性。它试图证明，当当前输入值和之前的六个输入值的总和大于 6 时，输出等于 2。在这种情况下，该属性无效，因为单个较大的输入值（例如 255）导致总和大于 6。Simulink Design Verifier 给出了一个反例来证明违规行为。

open_system('sldvdemo_debounce_falseprop');