RM新时代网站-首页

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會員中心
創(chuàng)作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內(nèi)不再提示

利用硬件仿真工具進行驗證和確認

星星科技指導員 ? 來源:嵌入式計算設計 ? 作者:Lauro Rizzatti ? 2022-06-19 16:22 ? 次閱讀

任何學科的設計——電子機械、航空航天等——都始于一個規(guī)范,該規(guī)范捕捉最終產(chǎn)品應該做什么,并從根本上推動整個開發(fā)周期。在開發(fā)的早期階段,第一個任務使用規(guī)范來驗證正在開發(fā)的設計是否正常工作并且沒有錯誤。然后,當設計的所有部分都組裝成一個完整的系統(tǒng)時,第二個任務使用規(guī)范來確定系統(tǒng)是否也按照預期的方式運行。

這兩個任務稱為設計驗證(任務 1)和設計驗證(任務 2)。有時,錯誤地,這兩個術語可以互換使用。雖然相似,但這兩項任務的目標卻截然不同。

驗證:我們構建的系統(tǒng)正確嗎?

驗證:我們是否在構建正確的系統(tǒng)?

在片上系統(tǒng) (SoC) 設計過程中,使用基于軟件的硬件描述語言 (HDL) 仿真方法進行設計驗證。相反,設計驗證是在實際使用環(huán)境中測試的整個系統(tǒng)的原型上進行的。

不幸的是,HDL 仿真執(zhí)行速度并沒有跟上設備的復雜性,盡管它具有所有優(yōu)點:易用性、靈活性和快速的設計迭代時間。當今的許多設計,例如具有 1,024 個端口的互聯(lián)網(wǎng)路由器或高清視頻處理器,都需要大量的驗證序列,即使在最快的 PC 上模擬也需要很多年。這些序列源于運行長的、連續(xù)的串行協(xié)議流或處理復雜的嵌入式軟件以全面驗證 SoC 或系統(tǒng)設計的需要。

此外,近年來,在硅可用之前開始軟件驗證已變得很重要。為了實現(xiàn)這一目標,引入了一種稱為虛擬原型的新型方法。雖然其中一些工具已經(jīng)實現(xiàn)了啟動軟件開發(fā)的目標,但它們只處理不需要準確表示底層硬件的應用程序。在測試嵌入式軟件(例如固件、設備驅(qū)動程序、操作系統(tǒng)和診斷程序)的交互時,它們會出現(xiàn)不足。對于此測試,嵌入式軟件開發(fā)人員依靠準確的硬件模型來驗證他們的代碼。

相比之下,硬件設計人員需要一套相當完整的軟件來在系統(tǒng)驗證期間全面測試他們的 SoC。古老的基于 FPGA 電路板的系統(tǒng)原型設計方法提供了設計的準確表示,但不太適合硬件調(diào)試。因此,只要設計適合少數(shù) FPGA,F(xiàn)PGA 原型對軟件開發(fā)團隊的吸引力就更大。

最終,軟件和硬件組需要在一個通用模型上走到一起,以驗證完整的硬件和嵌入式軟件。對于大多數(shù)使用傳統(tǒng)開發(fā)周期的人來說,第一個完整的模型是實際的硅片(圖 1)。

poYBAGKu3PyAJtb5AABrjEhTIsc454.png

【圖1 | 在傳統(tǒng)的開發(fā)周期中,第一個完整的模型是硅。]

等待實際硅片的問題在于它在設計周期中為時已晚。由于嵌入式軟件在硅片之前無法在完整、準確的系統(tǒng)模型的上下文中得到充分驗證,因此在硅片中發(fā)現(xiàn)問題的可能性增加。它們可以在軟件或軟件和硬件中找到,通常會迫使額外的芯片重新設計和代碼修訂。重新設計和代碼修訂都具有成本和上市時間的影響。避免這些影響所需要的是一種提供統(tǒng)一解決方案的方法,以在第一塊芯片之前實現(xiàn)硬件/軟件驗證和確認。

最新一代的硬件仿真器實現(xiàn)了這一點。它們提供幾乎無限的容量,多達數(shù)十億個門,并以 1 兆赫或更多兆赫的速度驗證被測設計 (DUT),提供比 FPGA 原型系統(tǒng)更好的硬件調(diào)試。它們易于使用,可以更快地編譯 DUT,并允許從世界任何地方進行 24/7 遠程訪問。在仿真器上運行的新軟件應用程序使其能夠支持多種類型的驗證,從低功耗分析和驗證到測試設計 (DFT) 邏輯驗證。仿真器還為從網(wǎng)絡到處理器/圖形、存儲等各種細分市場帶來了獨特的技術。

在設計周期的早期,仿真器用于與仿真器和 SystemVerilog 進行協(xié)同仿真,以在組裝完整的 SoC 設計之前驗證知識產(chǎn)權 (IP) 模塊和子系統(tǒng)。在設計周期的后期,仿真器用于驗證整個系統(tǒng)并執(zhí)行嵌入式軟件驗證。

它們在相同的設計表示上為硬件和軟件工程師提供完整的硬件和軟件調(diào)試功能。這讓硬件和軟件開發(fā)團隊能夠以前所未有的方式協(xié)作并修復集成問題(圖 2)。

poYBAGKu3QiAR37bAABv0QjvAqE747.png

【圖2 | 最新一代的硬件仿真器顯著加快了開發(fā)周期。]

硬件仿真以前僅限于驗證超大型設計,如今已成為所有設計驗證和確認流程的基礎。這種新發(fā)現(xiàn)的流行是日益增長的硅復雜性和嵌入式軟件的廣泛使用的結果。在設計中心,硬件仿真被使用,并且在未來它將在從硬件驗證、硬件/軟件集成到嵌入式軟件和系統(tǒng)驗證的整個開發(fā)周期中使用得更多。

審核編輯:郭婷

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權轉(zhuǎn)載。文章觀點僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學習之用,如有內(nèi)容侵權或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報投訴
  • 處理器
    +關注

    關注

    68

    文章

    19259

    瀏覽量

    229649
  • 嵌入式
    +關注

    關注

    5082

    文章

    19104

    瀏覽量

    304796
  • 仿真器
    +關注

    關注

    14

    文章

    1017

    瀏覽量

    83721
收藏 人收藏

    評論

    相關推薦

    基于EasyGo Vs工具包和Nl veristand軟件進行的永磁同步電機實時仿真

    、航空航天和能源電力等實時測試和驗證至關重要的行業(yè)。 本篇內(nèi)容主要介紹基于EasyGo Vs 工具包和Nl veristand軟件進行的永磁同步電機(PMSM)實時仿真。 PMSM實時
    的頭像 發(fā)表于 11-27 11:28 ?208次閱讀
    基于EasyGo Vs<b class='flag-5'>工具</b>包和Nl veristand軟件<b class='flag-5'>進行</b>的永磁同步電機實時<b class='flag-5'>仿真</b>

    EasyGo實時仿真丨PCS儲能變流器控制仿真應用

    構建的控制算法模型,為高精度控制系統(tǒng)開發(fā)提供了有效測試環(huán)境,加快了開發(fā)周期并降低了風險。本篇中用戶利用CBox快速原型控制器進行PCS儲能變流器控制實驗測試,并與實物硬件設備測試進行
    發(fā)表于 09-20 10:17

    教學驗證丨BUCK電路仿真驗證

    方案匹配您的科研/教學模式。今天為大家分享的是基于EasyGo實時仿真平臺的PPEC-HIL BUCK仿真實驗,并將其與BUCK電路的實際實驗進行對比測試,以驗證EasyGo實時
    發(fā)表于 09-05 10:47

    我們需要怎樣的硬件驗證產(chǎn)品

    如前文《硬件仿真會不會取代軟件仿真》所述:現(xiàn)階段在芯片規(guī)模越發(fā)龐大的趨勢下,在綜合考慮容量、人力、周期等等因素下,硬件仿真已經(jīng)是一種必不可少
    的頭像 發(fā)表于 08-26 15:36 ?352次閱讀
    我們需要怎樣的<b class='flag-5'>硬件</b><b class='flag-5'>驗證</b>產(chǎn)品

    仿真器的使用方法有哪些

    仿真器是一種用于模擬和測試電子系統(tǒng)、軟件或硬件工具。它可以幫助工程師在實際硬件或軟件部署之前,對設計進行
    的頭像 發(fā)表于 08-22 09:16 ?820次閱讀

    如何利用Matlab進行神經(jīng)網(wǎng)絡訓練

    ,使得神經(jīng)網(wǎng)絡的創(chuàng)建、訓練和仿真變得更加便捷。本文將詳細介紹如何利用Matlab進行神經(jīng)網(wǎng)絡訓練,包括網(wǎng)絡創(chuàng)建、數(shù)據(jù)預處理、訓練過程、參數(shù)調(diào)整以及仿真預測等步驟。
    的頭像 發(fā)表于 07-08 18:26 ?1839次閱讀

    工具工具——映射與調(diào)度、模擬與驗證、開發(fā)與測試工具

    本篇文章將重點介紹工具鏈的工具相關知識,我們將從工具鏈的基本概念出發(fā),重點介紹工具鏈中的映射和調(diào)度工具、模擬與
    的頭像 發(fā)表于 05-16 14:30 ?2818次閱讀
    <b class='flag-5'>工具</b>鏈<b class='flag-5'>工具</b>——映射與調(diào)度、模擬與<b class='flag-5'>驗證</b>、開發(fā)與測試<b class='flag-5'>工具</b>

    亞科鴻禹推出更大規(guī)模驗證容量的融合硬件仿真加速器HyperSemu2.0

    國產(chǎn)數(shù)字前端仿真驗證EDA工具領域的佼佼者——無錫亞科鴻禹電子有限公司,近日驕傲地宣布其全新力作——HyperSemu2.0融合硬件仿真加速
    的頭像 發(fā)表于 05-09 15:22 ?690次閱讀

    西門子數(shù)字化工業(yè)軟件推出Veloce CS硬件輔助驗證確認系統(tǒng)

    創(chuàng)新的 Veloce CS 架構整合了硬件加速仿真、企業(yè)原型驗證和軟件原型驗證,將驗證確認周期
    的頭像 發(fā)表于 05-08 14:28 ?708次閱讀

    fpga仿真器是什么?它有哪些優(yōu)勢?

    FPGA仿真器是一種用于模擬FPGA(現(xiàn)場可編程門陣列)硬件行為的軟件工具。它通過模擬FPGA內(nèi)部的邏輯電路、時序和接口等,幫助工程師在FPGA設計過程中進行功能
    的頭像 發(fā)表于 03-15 15:15 ?1726次閱讀

    fpga原型驗證平臺與硬件仿真器的區(qū)別

    FPGA原型驗證平臺與硬件仿真器在芯片設計和驗證過程中各自發(fā)揮著獨特的作用,它們之間存在明顯的區(qū)別。
    的頭像 發(fā)表于 03-15 15:07 ?1106次閱讀

    請問DAP miniwiggler工具如何在eclipse下進行仿真?

    新買的DAP miniwiggler 工具如何在eclipse下進行仿真
    發(fā)表于 02-21 06:52

    仿真工具Ansys Discovery的使用案例

    初期想法,并專注于設計流程的改善和驗證。它消除了傳統(tǒng)仿真工具在可用性和速度方面的阻礙,利用 Ansys 旗艦求解器來滿足所有的高精確度和高保真需求,從而使每個工程師都能做出更正確的方案
    的頭像 發(fā)表于 01-15 11:19 ?3190次閱讀
    熱<b class='flag-5'>仿真</b><b class='flag-5'>工具</b>Ansys Discovery的使用案例

    如何使用 ModelSim 進行設計仿真

    ModelSim為HDL仿真工具,我們可以利用該軟件來實現(xiàn)對所設計的VHDL或Verilog程 序進行仿真,支持IEEE常見的各種
    發(fā)表于 01-14 09:47 ?0次下載

    數(shù)字電路設計有哪些仿真驗證流程

    數(shù)字電路設計的仿真驗證流程是確保設計能夠正確運行的重要步驟之一。在現(xiàn)代電子設備中,數(shù)字電路被廣泛應用于各種應用領域,如計算機、通信設備、汽車電子等等。因此,設計師必須通過仿真驗證來確保
    的頭像 發(fā)表于 01-02 17:00 ?1600次閱讀
    RM新时代网站-首页