Design Verifier compatibility with SimEvents blocks

조회 수: 5(최근 30일)
Nathan Puryear
Nathan Puryear 2021년 5월 27일
댓글: Pat Canny 2021년 6월 17일
Is it possible to use property proving in the Design Verifier toolbox with a model using SimEvents blocks? I have tried to add a simple verification property within a verification subsystem to an example SimEvents model, but when I try to run the property prover I get the following error: "Building model representation failed: Simulink Messages blocks support only Normal mode simulation."
I did not alter the example model at all, except for adding a verification subsystem:
Inside the verification subsystem, I added a simple property to prove that the number of rejected parts is less than 10:


Abdolkarim Mohammadi
Abdolkarim Mohammadi 2021년 5월 29일
편집: Abdolkarim Mohammadi 2021년 5월 29일
I haven't used Design verifier with SimEvents blocks, but I think the error message is clear. The model containing SimEvents blocks and Design verifier blocks must be run only in Normal mode, not Accelerated or other modes.
  댓글 수: 6
Pat Canny
Pat Canny 2021년 6월 17일
Hi Nathan,
In general, yes: Simulink Design Verifier is not compatible with SimEvents blocks. Apologies again for the confusing error message.

댓글을 달려면 로그인하십시오.


Find more on Discrete-Event Simulation in Help Center and File Exchange

Community Treasure Hunt

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

Start Hunting!

Translated by