Main Content

Property Proving with Multiple Properties

Open Script

This example shows how to perform a property proving analysis with multiple properties. The model is configured for the analysis to attempt to prove that:

  • When the current and six previous input values are true, the output will be true.

  • When the current and six previous input values are false, the output will be false.

open_system('sldvdemo_debounce_validprop');