MATLAB: Could the Simulink Design Verifier toolbox check the Targetlink(dSPACE) model

Simulink Design Verifiertargetlink

Hi,
I am doing the evaluation of Simulink Design Verifier.I use the Targetlink to do the auto-code generation. So, I just want to make sure that if the Design Verifier can check the Targetlink model or not.
Thanks,
J.L.

Best Answer

I don't know a whole lot about the Simulink Design Verifier, but after looking at the documentation, I found this page which suggests that "The Simulink Design Verifier software does not support the S-Function block". So dSPACE blocks that are implementation using S-Functions will probably not be checked by the Simulink Design Verifier. They should get checked if they are implemented using other Simulink blocks that are compatible with Simulink Design Verifier. You should probably run the compatibility check on your model to verify this however.
Related Question