Main Content

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

具有多个属性的属性证明

打开脚本

此示例说明如何执行具有多个属性的属性证明分析。该模型的分析旨在证明：

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

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

open_system('sldvdemo_debounce_validprop');