MathWorks Release 2017b

One product has a license-related change in R2017b. To use the latest version of this product, you must have a subscription to MathWorks Software Maintenance Service as of R2017b.

Simulink Verification and Validation

As of R2017b, Simulink Verification and Validation™ has transitioned into three products: Simulink Check™, Simulink Coverage™, and Simulink Requirements™.

  • Requirements traceability and Requirements Management Interface (RMI) functionality have moved to Simulink Requirements.
  • Model and generated code coverage functionality, and component verification functions such as slvnvmakeharness, have moved to Simulink Coverage.
  • Compliance checking, model metrics, clone detection and refactoring, and model transformer functionality have moved to Simulink Check.

Simulink Check, Simulink Coverage, and Simulink Requirements each require MATLAB® and Simulink®, but they do not have a dependency on each other. Simulink Design Verifier™, which required Simulink Verification and Validation, now requires both Simulink Check and Simulink Coverage.

Overview of the changes occurring in the Simulink Verification and Validation product in R2017b

If you are:

Subscribed to Software Maintenance Service as of R2017b for Simulink Verification and Validation

License(s) are updated to include the following products at no initial cost:

Simulink Check
Simulink Coverage
Simulink Requirements

They will appear on future Software Maintenance Service renewal invoices.

Not subscribed to Software Maintenance Service as of R2017b for Simulink Verification and Validation

License(s) are updated to include the following products at no initial cost:


Simulink Check
Simulink Coverage
Simulink Requirements


You need to renew your Software Maintenance Service subscription to access the updated products.