作為Mathworks公司進一步推動EDA市場系統級工具的新舉措，該公司日前公布了Simulink驗證與確認插件。過去幾年，Mathworks公司的技術已從在DSP及嵌入式市場中的流行工具轉向IC系統級硬件建模工具。這種工具使用戶能創建實現IC系統功能的各種算法，并對這些功能進行劃分以便進行硬件或軟件實現。
MathWorks公司DSP產品營銷經理Arun Mulpur指出，該插件將幫助系統設計者及測試工程師在整個開發過程中進行連續測試與驗證。利用該工具，工程師可通過建模與仿真階段的形式測試系統與算法來生成一種經過驗證的可執行規范。用戶可生成覆蓋報告來查看未測試部分，并在將系統劃分成硬件與軟件以前盡早發現錯誤。
Mulpur表示：“通過在Simulink層上增加驗證與確認，甚至無需編寫一行VHDL，就能計劃如何來測試系統設計。該工具會告訴您測試套件覆蓋了模型的哪些部分。”所生成的報告可提供符合行業標準的計量并模型顯示，使用戶能通過模型來發現覆蓋遺漏并查找故障點。
用戶還能在由Real-Time Workshop嵌入式編碼器所生成的嵌入式代碼中包含Simulink驗證與確認注釋。它還使用戶能跟蹤設計與驗證路徑，并減少代碼可追溯性分析。Simulink驗證與確認插件售價為100美元。
網址：www.mathworks.com