Programming commands for Simulink design Verifier (SLDV0

I need Programming commands to Operate SLDV through scripts .If anyone theses commands please let me know

Answer 1

[Pat Canny]

Hi Arun,

I like the way you think!

The documentation for SLDV functions can found under "Functions" within the SLDV documentation (left panel). For the most part, SLDV commands all start with "sldv". For example: "sldv.assume".

What sort of functionality were you looking to script?