91欧美超碰AV自拍|国产成年人性爱视频免费看|亚洲 日韩 欧美一厂二区入|人人看人人爽人人操aV|丝袜美腿视频一区二区在线看|人人操人人爽人人爱|婷婷五月天超碰|97色色欧美亚州A√|另类A√无码精品一级av|欧美特级日韩特级

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

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

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

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

星星科技指導(dǎo)員 ? 來源:嵌入式計算設(shè)計 ? 作者:Lauro Rizzatti ? 2022-06-19 16:22 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

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

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

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

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

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

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

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

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

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

poYBAGKu3PyAJtb5AABrjEhTIsc454.png

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

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

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

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

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

poYBAGKu3QiAR37bAABv0QjvAqE747.png

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

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

審核編輯:郭婷

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

    關(guān)注

    68

    文章

    20253

    瀏覽量

    252226
  • 嵌入式
    +關(guān)注

    關(guān)注

    5198

    文章

    20445

    瀏覽量

    333996
  • 仿真器
    +關(guān)注

    關(guān)注

    14

    文章

    1051

    瀏覽量

    87263
收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評論

    相關(guān)推薦
    熱點推薦

    核聚變裝置中PSM高壓電源的實時仿真驗證

    ,其拓撲搭建如下圖。 >控制算法的仿真驗證 這里我們分別使用PSM控制、PWM配合PSM控制、移相控制三種控制方式,對高壓電源模型進行實時仿真聯(lián)合調(diào)試。 1. PSM控制 PS
    發(fā)表于 02-09 15:45

    如何選擇適合的智駕仿真工具進行場景生成和測試?

    在自動駕駛技術(shù)日益發(fā)展的背景下,選擇合適的智駕仿真工具進行場景生成和測試顯得尤為重要。該工具不僅需要支持高精度的場景重建,還需滿足多種環(huán)境條件和傳感器模型的兼容性。本文將深入探討如何評
    的頭像 發(fā)表于 11-25 10:32 ?375次閱讀
    如何選擇適合的智駕<b class='flag-5'>仿真</b><b class='flag-5'>工具</b><b class='flag-5'>進行</b>場景生成和測試?

    利用 NucleiStudio IDE 和 vivado 進行硬件聯(lián)合仿真

    本文利用NucleiStudio IDE 和 vivado 對 NICE demo協(xié)處理器進行硬件聯(lián)合仿真。 1. 下載demo_nice例程:https://github.com
    發(fā)表于 11-05 13:56

    Wisim DC電源完整性EDA物理驗證仿真工具介紹

    Wisim DC是一款高效、高性能的平臺級電源完整性EDA物理驗證仿真工具??煽焖僭\斷IC封裝和系統(tǒng)級板圖內(nèi)的設(shè)計缺陷和電源管理風(fēng)險,通過定位板圖中的“熱點”,自動優(yōu)化VRM感應(yīng)線位置,使系統(tǒng)PDN達到最優(yōu)設(shè)計。
    的頭像 發(fā)表于 09-26 15:57 ?621次閱讀
    Wisim DC電源完整性EDA物理<b class='flag-5'>驗證</b><b class='flag-5'>仿真</b><b class='flag-5'>工具</b>介紹

    如何利用外部校驗工具驗證電能質(zhì)量在線監(jiān)測裝置的準(zhǔn)確性?

    利用外部校驗工具驗證電能質(zhì)量在線監(jiān)測裝置(以下簡稱 “監(jiān)測裝置”)準(zhǔn)確性的核心邏輯是:通過 “標(biāo)準(zhǔn)信號源” 或 “高精度參考設(shè)備” 提供已知的、準(zhǔn)確的電能參數(shù),將監(jiān)測裝置的測量值與標(biāo)準(zhǔn)值進行
    的頭像 發(fā)表于 09-11 17:24 ?808次閱讀
    如何<b class='flag-5'>利用</b>外部校驗<b class='flag-5'>工具</b><b class='flag-5'>驗證</b>電能質(zhì)量在線監(jiān)測裝置的準(zhǔn)確性?

    如何驗證硬件加速是否真正提升了通信協(xié)議的安全性?

    是具體驗證方法與框架,覆蓋從底層硬件到上層協(xié)議的全鏈路驗證: 一、基礎(chǔ)驗證硬件加速模塊的安全功能正確性
    的頭像 發(fā)表于 08-27 10:16 ?1135次閱讀
    如何<b class='flag-5'>驗證</b><b class='flag-5'>硬件</b>加速是否真正提升了通信協(xié)議的安全性?

    綠氫系統(tǒng) PEM 電解槽直流接入仿真驗證深度解析

    的可行性進行全面驗證,可為 PEM 電解槽的實際應(yīng)用提供理論和實踐依據(jù)。 一、EasyGo PEM 電解槽模型 質(zhì)子交換膜(Proton Exchange Membrane,簡稱PEM)是電解槽
    發(fā)表于 07-03 18:25

    推動硬件輔助驗證平臺增長的關(guān)鍵因素

    硬件加速和基于FPGA的原型設(shè)計誕生于1980年代中期,開發(fā)者將當(dāng)時初露頭角的現(xiàn)場可編程門陣列(FPGA)率先應(yīng)用于硅前設(shè)計的原型驗證,由此催生了一種全新的驗證工具,打破了軟件
    的頭像 發(fā)表于 06-11 14:42 ?974次閱讀
    推動<b class='flag-5'>硬件</b>輔助<b class='flag-5'>驗證</b>平臺增長的關(guān)鍵因素

    綠氫系統(tǒng)篇丨PEM電解槽模型交流接入模式仿真驗證

    電解槽模型通過離線驗證和實時仿真驗證兩種方式,對該模型在交流接入模式的可行性進行全面驗證,可為 PEM 電解槽的實際應(yīng)用提供理論和實踐依據(jù)
    發(fā)表于 06-05 18:55

    硬件輔助驗證(HAV) 對軟件驗證的價值

    硬件輔助驗證 (HAV) 有著悠久的歷史,如今作為軟件驅(qū)動驗證的必備技術(shù),再度受到關(guān)注。 RISC-V 可能是說明這一點的最好例子。HAV 能夠執(zhí)行多個周期的軟件驅(qū)動驗證,是加速 RI
    的頭像 發(fā)表于 05-13 18:21 ?1993次閱讀

    新品 | 服務(wù):InfineonSpice 離線仿真工具

    新品服務(wù):InfineonSpice離線仿真工具InfineonSpice是一款功能齊全的模擬電路仿真器,可免費進行直流和OP仿真。這款基于
    的頭像 發(fā)表于 04-30 18:21 ?944次閱讀
    新品 | 服務(wù):InfineonSpice 離線<b class='flag-5'>仿真</b><b class='flag-5'>工具</b>

    電磁環(huán)境仿真驗證系統(tǒng)軟件

    電磁環(huán)境仿真驗證系統(tǒng)軟件
    的頭像 發(fā)表于 04-29 16:59 ?1056次閱讀
    電磁環(huán)境<b class='flag-5'>仿真</b>與<b class='flag-5'>驗證</b>系統(tǒng)軟件

    新思科技推出全新HAPS-200原型驗證系統(tǒng)和ZeBu仿真系統(tǒng)

    新思科技近日宣布,全面升級其高性能硬件輔助驗證(HAV)產(chǎn)品組合,推出全新一代HAPS-200原型驗證系統(tǒng)和ZeBu仿真系統(tǒng)。
    的頭像 發(fā)表于 04-03 14:22 ?2295次閱讀
    新思科技推出全新HAPS-200原型<b class='flag-5'>驗證</b>系統(tǒng)和ZeBu<b class='flag-5'>仿真</b>系統(tǒng)

    大規(guī)模硬件仿真系統(tǒng)的編譯挑戰(zhàn)

    引言隨著集成電路設(shè)計復(fù)雜度的不斷提升,硬件仿真系統(tǒng)在現(xiàn)代芯片設(shè)計流程中扮演著越來越重要的角色?;贔PGA(現(xiàn)場可編程門陣列)的商用硬件仿真系統(tǒng)因其靈活性、全自動化、高性能和可重構(gòu)性,
    的頭像 發(fā)表于 03-31 16:11 ?1440次閱讀
    大規(guī)模<b class='flag-5'>硬件</b><b class='flag-5'>仿真</b>系統(tǒng)的編譯挑戰(zhàn)

    技術(shù)分享 | AVM合成數(shù)據(jù)仿真驗證方案

    AVM 合成數(shù)據(jù)仿真驗證技術(shù)為自動駕駛環(huán)境感知發(fā)展帶來助力,可借助仿真軟件配置傳感器、搭建環(huán)境、處理圖像,生成 AVM 合成數(shù)據(jù),有效加速算法驗證。然而,如何
    的頭像 發(fā)表于 03-19 09:40 ?3734次閱讀
    技術(shù)分享 | AVM合成數(shù)據(jù)<b class='flag-5'>仿真</b><b class='flag-5'>驗證</b>方案