作为mathworks公司进一步推动eda市场系统级工具的新举措，该公司日前公布了simulink验证与确认插件。过去几年，mathworks公司的技术已从在dsp及嵌入式市场中的流行工具转向ic系统级硬件建模工具。这种工具使用户能创建实现ic系统功能的各种算法，并对这些功能进行划分以便进行硬件或软件实现。

    mathworks公司dsp产品营销经理arun mulpur指出，该插件将帮助系统设计者及测试工程师在整个开发过程中进行连续测试与验证。利用该工具，工程师可通过建模与仿真阶段的形式测试系统与算法来生成一种经过验证的可执行规范。用户可生成覆盖报告来查看未测试部分，并在将系统划分成硬件与软件以前尽早发现错误。

    mulpur表示：“通过在simulink层上增加验证与确认，甚至无需编写一行vhdl，就能计划如何来测试系统设计。该工具会告诉您测试套件覆盖了模型的哪些部分。”所生成的报告可提供符合行业标准的计量并模型显示，使用户能通过模型来发现覆盖遗漏并查找故障点。

    用户还能在由real-time workshop嵌入式编码器所生成的嵌入式代码中包含simulink验证与确认注释。它还使用户能跟踪设计与验证路径，并减少代码可追溯性分析。simulink验证与确认插件售价为100美元。

    网址：www.mathworks.com