Simulink Design Verifier 1.5

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 Solaris, Windows 64, or Mac OS X (PowerPC)

General System Requirements for

Windows
Linux
Solaris
Mac 

Product Version Availability

Simulink Design Verifier is available on the following platforms:

Operating System	Product Version
Linux	1.5
Linux x86-64	1.5
Mac OS X (Intel)	1.5
Windows	1.5

See a full list of available products for:

Linux Linux x86-64 Mac OS X (Intel 64) Mac OS X (Intel) Solaris 64 Windows Windows x64

Note: Because of problems with the Java VM, there are limitations for some products on some platforms. For details, please see the Platform Limitations section in your products' Release Notes