本页翻译不是最新的。点击此处可查看最新英文版本。

使用多个属性进行属性证明

打开脚本

此示例说明如何使用多个属性执行属性证明分析。该模型配置为进行分析以尝试证明：

  • 在当前输入值和之前的六个输入值为 true 时，输出将为 true。

  • 在当前输入值和之前的六个输入值为 false 时，输出将为 false。

open_system('sldvdemo_debounce_validprop');