В этом примере показано, как выполнить анализ доказательства свойства с несколькими свойствами. Модель сконфигурирована для анализа, чтобы попытаться доказать что:
Когда ток и шесть предыдущих входных значений будут верны, выход будет верен.
Когда ток и шесть предыдущих входных значений будут ложными, выход будет ложным.
open_system('sldvdemo_debounce_validprop');