このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
複数のプロパティによるプロパティ証明
この例では、複数のプロパティによるプロパティ証明解析の実行方法を示します。このモデルは次の証明を試行する解析用に設定されます。
現在の入力値および以前の 6 つの入力値が true の場合、出力は true になる。
現在の入力値および以前の 6 つの入力値が false の場合、出力は false になる。
open_system('sldvdemo_debounce_validprop');