Simulink Design Verifier Block Library

To open the Simulink^® Design Verifier™ block library, at the MATLAB^® command prompt, type sldvlib.

The Simulink Design Verifier block library has three categories of blocks:

Objectives and Constraints — Blocks that define custom objectives and constraints
Temporal Operators — Blocks that define temporal properties on Boolean signals
Verification Utilities — Miscellaneous verification utilities

The block library also has a sublibrary, Example Properties, that includes examples of how to specify common properties in your model. You can easily adapt these examples for use in your models.