The MathWorks推出新产品Simulink设计验证工具(Simulink Design Verfier)，这项新产品能够搭配Prover Technology公司的Prover Plug-In技术，针对Simulink和Stateflow模型，进行测试并确保设计的正确性。The MathWorks台湾区总代理钛思科技表示，使用Simulink设计验证工具后，嵌入式系统的开发人员(尤其是复杂或攸关安全的系统)，能够自动产生可满足产业标准规范的测试实例，例如某些规范会要求的修改条件/判定覆盖(MC/DC)等；同时，在开发过程之中，也能够在早期研发阶段就发现设计错误，以避免事后高昂的修改成本。

「仿真」是模型化基础设计(Model-Base Design)过程中关键的一环，它可以让工程师深入了解系统的行为、找出最佳表现的参数值，以及确保设计出来的结果和预先所想的相同。Simulink设计验证工具采用最新以formal methods为基础的测试与验证技术，可大幅减少需以人工方式来建立所有模型和验证的需求。工程师可自动产生符合覆盖率目标或用户自定目标的测试输入(test inputs) ，所产生的测试输入也可与量测到的数据作结合，因此可针对所有模型、规范和真实的情境进行仿真测试。为了把设计目标和模型测试做更紧密的结合，工程人员可直接在Simulink或Stateflow的模型里把设计目标加入，Simulink设计验证工具会利用数学方式证明设计是否符合这些设计目标，一旦不符标准，便提供和规范相抵触的反例。结果就是，工程师可以更轻易的找出设计中的错误，以及和规范或设计目标相抵触的部份，在以前，这些错误是很难用非系统的方式找到的。

The MathWorks的设计自动化营销部执行长Paul Barnard表示：「巳经有愈来愈多的嵌入式系统利用模型化基础设计来进行开发，一路从研发到原型化开发项目，再到产品量产阶段。这一连串的步骤，极需验证、有效性和测试工具的配合，而这些正是Simulink设计验证工具可以胜任的部份。」

Simulink设计验证工具和Prover Technology的Prover Plug-In proof engine相互搭配，能够自动地产生测试实例和反例。同时，它也能利用自动的数学式合理法则，探讨模型实现路径，由此来证明设计特性。此类有系统的分析可以补充仿真上的不足，并深入了解系统的行为。