Simulink Design Verifier 2.1.1
System Requirements
Product Requirements
- Requires MATLAB
- Requires Simulink
- Requires Simulink Verification and Validation
- Requires Stateflow (If you want to use Simulink Design Verifier with Stateflow diagrams)
- Not available on Mac
General System Requirements for
Product Version Availability
Simulink Design Verifier is available on the following platforms:
| Operating System | Product Version |
|---|---|
| Linux (32-bit) | 2.1.1 |
| Linux (64-bit) | 2.1.1 |
| Windows (32-bit) | 2.1.1 |
| Windows (64-bit) | 2.1.1 |
See a full list of available products for: