Simulink Verification and Validation

验证模型和生成代码