Problem with the design verifier Simulink
조회 수: 9 (최근 30일)
이전 댓글 표시
I want to exract counter examples from my model but an error has encoured that I didn't understand it.
- Model "model" is set to import initial state data from the matlab workspace.Simulink Design Verifier does not support this configuration.You must uncheck the initial state in the load from workspace area of the Data.
- Simulink Design Verifier failed to initialize: is incompatible with simulink Design Verifier.
The problem that mymodel doesn't contain a block from workspace or from File. Please I need a help.
댓글 수: 0
답변 (1개)
Sebastian Castro
2015년 6월 2일
If you go to Simulation > Model Configuration Parameters, then go to the Data Import/Export section, there should be an "Initial State" checkbox (2nd option in that menu).
Unchecking that should get rid of the issue -- assuming you don't need to use that option for other simulations.
- Sebastian
참고 항목
카테고리
Help Center 및 File Exchange에서 Model Verification에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!