Simulink Design Verifier

Identify design errors, generate test cases, and verify designs against requirements