Simulink Design Verifier

설계 오류 식별, 테스트 케이스 생성, 요구사항에 대한 설계 검증