Problem with design verifier options

When I have opened the Design Verifier-> Options I can't able to access the fields of the options How to fix this?

[Walter Roberson]

To edit and save locally, right-click a parameter and selet "Override"

... did you try that?

[Ganesh]

Yes I have tried override but it is not working for check system compatability and below options

[Torsten]

Do you have an active licence for Simulink Design Verifier ?

Answer 1

[Adarsh]

Hi @Ganesh,

As per my understanding you are trying to verify compatibility for design verifier for a subsystem and facing an issue with the "Check Subsystem Compatibility" greyed out.

Firstly, while running a Compatibility check for a subsystem, please ensure the "IsAtomic" field is selected(in latest version) and for old releases convert the subsystem to atomic and then you can right click on the subsystem block and go to "Select Apps" and select "Design verifier" and the Right click on the subsystem again and choose the "Compatibility Check" button, similarly in old releases, right click on the subsystem and hover on "Design Verifier" and select "Check Subsystem Compatibility".

Here are some of the images demonstrating how to perform the subsystem compatibility check:

(In latest Release - R2025b)

(In Older Releases - R2025a)

For more information the following documentation link can be referred:

https://www.mathworks.com/help/sldv/ref/sldvcompat.html#br47xoc-1

I hope this helps!