Info
이 질문은 마감되었습니다. 편집하거나 답변을 올리려면 질문을 다시 여십시오.
Prove a property when it is spent a time T?
조회 수: 2 (최근 30일)
이전 댓글 표시
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 :) )
댓글 수: 0
답변 (0개)
이 질문은 마감되었습니다.
참고 항목
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!