Проверка свойств с несколькими свойствами

В этом примере показано, как выполнить анализ доказательства свойств с несколькими свойствами. Модель сконфигурирована для анализа, чтобы попытаться доказать, что:

  • Когда текущее и шесть предыдущих входных значений равны true, выход будет равен true.

  • Когда текущее и шесть предыдущих входных значений ложны, выход будет ложным.

open_system('sldvdemo_debounce_validprop');

Для просмотра документации необходимо авторизоваться на сайте