作為mathworks公司進(jìn)一步推動eda市場系統(tǒng)級工具的新舉措，該公司日前公布了simulink驗證與確認(rèn)插件。過去幾年，mathworks公司的技術(shù)已從在dsp及嵌入式市場中的流行工具轉(zhuǎn)向ic系統(tǒng)級硬件建模工具。這種工具使用戶能創(chuàng)建實現(xiàn)ic系統(tǒng)功能的各種算法，并對這些功能進(jìn)行劃分以便進(jìn)行硬件或軟件實現(xiàn)。

    mathworks公司dsp產(chǎn)品營銷經(jīng)理arun mulpur指出，該插件將幫助系統(tǒng)設(shè)計者及測試工程師在整個開發(fā)過程中進(jìn)行連續(xù)測試與驗證。利用該工具，工程師可通過建模與仿真階段的形式測試系統(tǒng)與算法來生成一種經(jīng)過驗證的可執(zhí)行規(guī)范。用戶可生成覆蓋報告來查看未測試部分，并在將系統(tǒng)劃分成硬件與軟件以前盡早發(fā)現(xiàn)錯誤。

    mulpur表示：“通過在simulink層上增加驗證與確認(rèn)，甚至無需編寫一行vhdl，就能計劃如何來測試系統(tǒng)設(shè)計。該工具會告訴您測試套件覆蓋了模型的哪些部分�！彼傻膱蟾婵商峁┓闲袠I(yè)標(biāo)準(zhǔn)的計量并模型顯示，使用戶能通過模型來發(fā)現(xiàn)覆蓋遺漏并查找故障點。

    用戶還能在由real-time workshop嵌入式編碼器所生成的嵌入式代碼中包含simulink驗證與確認(rèn)注釋。它還使用戶能跟蹤設(shè)計與驗證路徑，并減少代碼可追溯性分析。simulink驗證與確認(rèn)插件售價為100美元。

    網(wǎng)址：www.mathworks.com