| Balluff BIL M1147 |
 |
價(jià)格： 元(人民幣) | 產(chǎn)地：Balluff BIL M1147 |
| 最少起訂量：1個(gè) | 發(fā)貨地：Balluff BIL M1147 | |
| 上架時(shí)間：2021-05-11 16:39:58 | 瀏覽量：86 | |
廈門(mén)光沃自動(dòng)化設(shè)備有限公司
 |
||
| 經(jīng)營(yíng)模式：經(jīng)銷(xiāo)商 | 公司類(lèi)型：其他有限責(zé)任公司 | |
| 所屬行業(yè)：PLC控制系統(tǒng) | 主要客戶(hù)：全國(guó)市場(chǎng) | |
 在線咨詢(xún)  |
||
| 聯(lián)系人:吳 (先生) | 手機(jī):18030229050 |
電話(huà): |
傳真: |
| 郵箱:1878187406@qq.com | 地址:廈門(mén)市海滄區(qū)滄湖東一里海景奧斯卡 |
Balluff BIL M1147Balluff BIL M1147隨著芯片技術(shù)的不斷發(fā)展，特別是芯片工藝水平的提升，芯片規(guī)模越來(lái)越大，這也為芯片邏輯功能驗(yàn)證帶來(lái)了很大的挑戰(zhàn)。如何保證產(chǎn)品上市時(shí)間（TimetoMarket），快速完成功能驗(yàn)證和達(dá)成較高的覆蓋率，已成為驗(yàn)證進(jìn)程管理的棘手問(wèn)題。本文主要跟小伙伴們聊一聊智能跟蹤SoC驗(yàn)證進(jìn)度的方法。 EDA工具兩大巨頭Synopsys和Cadence都有自己的驗(yàn)證計(jì)劃工具，分別是Synopsys公司的VerificationPlanner和Cadence的vmanager，兩者各有千秋。今天我們主要針對(duì)的是Synopsys的層次化驗(yàn)證計(jì)劃工具。該工具采用自定義的描述語(yǔ)言HVP（Hierarchical Verification Plan），層次化地描述驗(yàn)證計(jì)劃，并在驗(yàn)證計(jì)劃的實(shí)施過(guò)程中，通過(guò)測(cè)試數(shù)據(jù)結(jié)果，反標(biāo)回驗(yàn)證計(jì)劃，根據(jù)產(chǎn)生相應(yīng)的狀態(tài)報(bào)告，可以有效地追蹤驗(yàn)證的整個(gè)進(jìn)程。其基本流程如圖1所示。
該流程需要驗(yàn)證人員首先編寫(xiě)驗(yàn)證計(jì)劃，驗(yàn)證計(jì)劃通常需要Synopsys提供的另一種工具Verdi或DVE編輯HVP文件，或者直接采用office工具Excel編輯XML格式文件。在項(xiàng)目驗(yàn)證計(jì)劃中會(huì)包含測(cè)試計(jì)劃、功能覆蓋率計(jì)劃、斷言覆蓋計(jì)劃、代碼覆蓋率計(jì)劃等等。下面將介紹HVP是如何編寫(xiě)來(lái)映射我們上述提到的各種計(jì)劃的。 驗(yàn)證計(jì)劃有自己的.hvp格式，如圖2 HVP描述示例。該文件可以比較容易的通過(guò)Verdi生成模板。
從圖3中可以看出，測(cè)試項(xiàng)填在feature列，分層計(jì)劃一方面就體現(xiàn)在feature是分級(jí)的，C列feature為B列的子feature。另一方面體現(xiàn)在plan可以include子plan，如圖4中include列即為myplan包含了cache_plan。帶有value關(guān)鍵字列表示測(cè)試項(xiàng)完成度情況，而帶有measure關(guān)鍵字列則表示對(duì)應(yīng)測(cè)試項(xiàng)如何衡量，也即我們所提的如代碼覆蓋率，功能覆蓋率，斷言覆蓋率了。如圖5中“measure snps.source”列中，group關(guān)鍵字表征功能覆蓋率，property關(guān)鍵字表征斷言覆蓋率，tree關(guān)鍵字則表征代碼覆蓋率。
好了，我們的驗(yàn)證計(jì)劃完成了，下一步就要開(kāi)發(fā)測(cè)試用例并作回歸測(cè)試。所有測(cè)試用例運(yùn)行完成后，仿真工具VCS會(huì)收集這些覆蓋率并輸出數(shù)據(jù)庫(kù)。此外，當(dāng)然我們也希望會(huì)收集測(cè)試用例是pass還是fail的信息，作為反標(biāo)信息的用戶(hù)自定義輸入信息。有了這些數(shù)據(jù)，通過(guò)反標(biāo)工具就可以看到驗(yàn)證報(bào)告了
Balluff BIL M1147
|
| 版權(quán)聲明：以上所展示的信息由會(huì)員自行提供，內(nèi)容的真實(shí)性、準(zhǔn)確性和合法性由發(fā)布會(huì)員負(fù)責(zé)。機(jī)電之家對(duì)此不承擔(dān)任何責(zé)任。 友情提醒：為規(guī)避購(gòu)買(mǎi)風(fēng)險(xiǎn)，建議您在購(gòu)買(mǎi)相關(guān)產(chǎn)品前務(wù)必確認(rèn)供應(yīng)商資質(zhì)及產(chǎn)品質(zhì)量。 |
機(jī)電之家網(wǎng) - 機(jī)電行業(yè)權(quán)威網(wǎng)絡(luò)宣傳媒體
關(guān)于我們 | 聯(lián)系我們 | 廣告合作 | 付款方式 | 使用幫助 | 會(huì)員助手 | 免費(fèi)鏈接Copyright 2026 jdzj.com All Rights Reserved??技術(shù)支持：機(jī)電之家 服務(wù)熱線：0571-87774297
網(wǎng)站經(jīng)營(yíng)許可證:浙B2-20080178
