Hello, I have a model which represents a big system of the equations. On this model I should prove a property (e.g. the output Yn = 0) when the input (e.g. Xk) has as value 1. Is it possible? My problem contains two question: # Is it possible to give a set of signal builders to Design Verifier to prove a property? # Is it possible to enable Design Verifier to prove a property when an event occurs (in my case Xk =1)? I hope to explain clearly my problem, thanks in advance for your replies Andrea (I am a man :) )

Prove a property when it is spent a time T?

4 Mar 2014

0 Answers

Updated 20 Aug 2021

2 Views (30 days)

Info

This question is closed. Reopen it to edit or answer.

0 votes

Hello,

I have a model which represents a big system of the equations.

On this model I should prove a property (e.g. the output Yn = 0) when the input (e.g. Xk) has as value 1. Is it possible?

My problem contains two question:

Is it possible to give a set of signal builders to Design Verifier to prove a property?
Is it possible to enable Design Verifier to prove a property when an event occurs (in my case Xk =1)?

I hope to explain clearly my problem, thanks in advance for your replies

Andrea (I am a man :) )

This question is closed.

Find the treasures in MATLAB Central and discover how the community can help you!