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