В этом примере показано, как найти недопустимое свойство с помощью анализа проверки свойств Simulink Design Verifier. Он пытается доказать, что, когда сумма текущих и шести предыдущих входных значений больше 6, выход равен 2. В этом случае свойство является недопустимым, потому что одно большое входное значение (например, 255) заставляет сумму быть больше 6. Simulink Design Verifier создает контрпример, который демонстрирует нарушение.
open_system('sldvdemo_debounce_falseprop');
