Design Verifier compatibility with SimEvents blocks
1 次查看(过去 30 天)
显示 更早的评论
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:
![](https://www.mathworks.com/matlabcentral/answers/uploaded_files/633025/image.jpeg)
Inside the verification subsystem, I added a simple property to prove that the number of rejected parts is less than 10:
![](https://www.mathworks.com/matlabcentral/answers/uploaded_files/633030/image.jpeg)
0 个评论
回答(1 个)
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
2021-6-17
Hi Nathan,
In general, yes: Simulink Design Verifier is not compatible with SimEvents blocks. Apologies again for the confusing error message.
Thanks.
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Messages 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!