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

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

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

基于OmniArk芯神鼎硬件仿真系統(tǒng)和QEMU的混合驗(yàn)證平臺(tái)

思爾芯S2C ? 2023-07-31 23:16 ? 次閱讀

軟件仿真(Simulation),原型驗(yàn)證(Prototyping),以及硬件仿真 (Emulation),是當(dāng)前主要的三種有效的驗(yàn)證方法,在芯片前端設(shè)計(jì)的功能性驗(yàn)證階段起到了關(guān)鍵的作用。
近年來,由于大數(shù)據(jù)處理和AI芯片設(shè)計(jì)規(guī)模的擴(kuò)大,以及市場競爭激烈導(dǎo)致的快速迭代需求,越來越多的芯片設(shè)計(jì)公司開始選擇硬件仿真,以提高芯片驗(yàn)證效率,縮短芯片開發(fā)周期。
相較于軟件仿真和原型驗(yàn)證,硬件仿真具有可支持設(shè)計(jì)容量大、擴(kuò)展性好、工程構(gòu)建時(shí)間短、仿真速度快、調(diào)試能力強(qiáng)、驗(yàn)證場景豐富等特點(diǎn),適合大型設(shè)計(jì)從模塊級(jí)、芯片級(jí)到系統(tǒng)級(jí)的仿真驗(yàn)證。

硬件仿真驗(yàn)證模式

硬件仿真支持的豐富的驗(yàn)證模式,可以滿足芯片設(shè)計(jì)不同階段的驗(yàn)證需求,常用于架構(gòu)設(shè)計(jì)、前期開發(fā)、模塊開發(fā)、IP開發(fā)、系統(tǒng)深度調(diào)試等芯片開發(fā)階段。
常見的仿真驗(yàn)證模式,主要包括:電路內(nèi)仿真(In-Circuit Emulation,ICE仿真),事務(wù)級(jí)的仿真加速(Transaction Based Acceleration,TBA仿真),以及混合仿真(QEMU)等。在不同的芯片設(shè)計(jì)階段,可以選擇合適的仿真加速方法,來提升驗(yàn)證效率。

電路內(nèi)仿真(In-Circuit Emulation,ICE仿真)
電路內(nèi)仿真是使用在線仿真器(In-Circuit Emulator)進(jìn)行具有特定調(diào)試技術(shù)的硬件仿真加速,其中在線仿真器代替實(shí)際硬件以便在實(shí)際系統(tǒng)環(huán)境中運(yùn)行和測(cè)試。此方法允許工程師在實(shí)際的系統(tǒng)環(huán)境中進(jìn)行測(cè)試和調(diào)試,而無需等待硬件原型的生產(chǎn)。這可以大大加速開發(fā)過程,并提高最終產(chǎn)品的質(zhì)量。
事務(wù)級(jí)的仿真加速(Transaction Based Acceleration,TBA仿真)
事務(wù)級(jí)的仿真加速是通過使用總線功能模型Bus Functional Model (BFM),將運(yùn)行在軟件上的Testbench和運(yùn)行在硬件仿真系統(tǒng)中的DUT進(jìn)行事務(wù)級(jí)層面的軟硬聯(lián)合驗(yàn)證。即在主機(jī)上運(yùn)行的Testbench和在硬件仿真上運(yùn)行的DUT是通過無時(shí)序的事物進(jìn)行交互。通過這種方法,仿真速度可以大大提高,因?yàn)榉抡娴慕裹c(diǎn)從每個(gè)時(shí)鐘周期的具體操作轉(zhuǎn)移到了更高級(jí)別的事務(wù)。這種方法常用于大規(guī)模系統(tǒng)的設(shè)計(jì)驗(yàn)證,可以提高仿真的效率。
混合仿真(Hybrid Emulation)
混合仿真是將硬件仿真與軟件仿真相結(jié)合,允許工程師同時(shí)觀察和調(diào)試系統(tǒng)的硬件和軟件部分?;旌戏抡婵梢蕴峁?duì)整個(gè)系統(tǒng)的全面視圖,并可以在更高的抽象級(jí)別進(jìn)行仿真,可以進(jìn)一步提高仿真速度和效率。是IC設(shè)計(jì)團(tuán)隊(duì)在早期架構(gòu)優(yōu)化、軟硬件協(xié)同開發(fā)、RTL級(jí)仿真驗(yàn)證中的重要驗(yàn)證方法。
這些驗(yàn)證模式都是硬件仿真的一部分或者擴(kuò)展,它們提供了不同層次和粒度的仿真和驗(yàn)證能力,以適應(yīng)不同的設(shè)計(jì)需求和驗(yàn)證目標(biāo)。在實(shí)際的設(shè)計(jì)和驗(yàn)證過程中,工程師可能會(huì)根據(jù)需要選擇適合的仿真方法。

混合仿真(QEMU)

QEMUQEMU是純軟件實(shí)現(xiàn)的一個(gè)開源、跨平臺(tái)的虛擬化模擬器,幾乎可以模擬任何硬件設(shè)備。通常是模擬一臺(tái)能夠獨(dú)立運(yùn)行操作系統(tǒng)的虛擬機(jī),混合仿真時(shí)虛擬機(jī)會(huì)以為自己和真實(shí)硬件進(jìn)行數(shù)據(jù)交互,而該“硬件”實(shí)際上卻是QEMU模擬,QEMU 將這些指令轉(zhuǎn)譯給真正的硬件。本質(zhì)上,虛擬出的每個(gè)虛擬機(jī)對(duì)應(yīng)宿主系統(tǒng)(Host)上的一個(gè)QEMU進(jìn)程,而虛擬機(jī)的執(zhí)行線程(如 CPU 線程、I/O 線程等)對(duì)應(yīng)QEMU進(jìn)程的一個(gè)線程。
28c1227e-2fb5-11ee-bbcf-dac502259ad0.png圖1 QEMU架構(gòu)圖SystemCSystemC是一個(gè)支持系統(tǒng)建模的開源的C++ library?;旌戏抡骝?yàn)證前,通常優(yōu)先開發(fā)抽象SystemC模型(如TLM模型),然后將此模型轉(zhuǎn)化為RTL并基于此模型上開發(fā)軟件。在此過程中,軟硬件的諸多錯(cuò)誤能盡早被發(fā)現(xiàn),從而節(jié)省開發(fā)時(shí)間。使用QEMU和SystemC可以共同組成虛擬驗(yàn)證平臺(tái),實(shí)現(xiàn)SoC系統(tǒng)級(jí)建模。


28c65f8c-2fb5-11ee-bbcf-dac502259ad0.png

圖2 SystemC Simulation

基于QEMU的混合仿真驗(yàn)證
混合驗(yàn)證是一種方法,它在使用硬件仿真進(jìn)行DUT仿真的同時(shí),利用虛擬原型建立目標(biāo)SoC環(huán)境,并進(jìn)行相應(yīng)軟硬件的協(xié)同開發(fā)調(diào)試。混合仿真是IC設(shè)計(jì)團(tuán)隊(duì)在早期架構(gòu)優(yōu)化、軟硬件協(xié)同開發(fā)、RTL級(jí)仿真驗(yàn)證中的重要工具。
基于QEMU和硬件仿真系統(tǒng)的混合仿真,是在硬件仿真系統(tǒng)和QEMU上同時(shí)運(yùn)行SoC的不同設(shè)計(jì)模塊,在SoC整體架構(gòu)硬件實(shí)現(xiàn)之前提供嵌入式軟件和硬件的協(xié)同仿真,為系統(tǒng)架構(gòu)的優(yōu)化、RTL的早期開發(fā)、以及嵌入式軟件開發(fā),提供準(zhǔn)確,即時(shí)的仿真驗(yàn)證環(huán)境,有力推動(dòng)產(chǎn)品開發(fā)周期左移,從而加速SoC的研發(fā)進(jìn)程。
QEMU運(yùn)行在Runtime Server上,一般通過SystemC實(shí)現(xiàn)TLM(Transaction Level Model)模型,提供虛擬CPU、Linux內(nèi)核以及用戶態(tài)程序。QEMU通過標(biāo)準(zhǔn)SCEMI協(xié)議和硬件仿真器通信,硬件仿真器上可運(yùn)行SOC外設(shè)等IP,從而實(shí)現(xiàn)完整的混合仿真環(huán)境。


28e2a6c4-2fb5-11ee-bbcf-dac502259ad0.png

圖3QEMU混合仿真

混合仿真帶來的好處

混合仿真帶來了諸多好處,主要表現(xiàn)在軟件開發(fā)和集成測(cè)試的工作可以大幅度提前,顯著地縮短了項(xiàng)目周期。在應(yīng)用混合驗(yàn)證之前,軟硬件開發(fā)和集成測(cè)試往往要等待硬件設(shè)計(jì)完成后才能開始,這將會(huì)導(dǎo)致項(xiàng)目周期延長。而在使用混合驗(yàn)證之后,軟硬件開發(fā)和集成測(cè)試可以在硬件設(shè)計(jì)階段同時(shí)進(jìn)行,這樣將會(huì)顯著地縮短整個(gè)項(xiàng)目周期。290297c2-2fb5-11ee-bbcf-dac502259ad0.png

圖4使用混合驗(yàn)證前

291d11ba-2fb5-11ee-bbcf-dac502259ad0.png

圖5使用混合驗(yàn)證后

基于OmniArk

和QEMU的混合仿真


思爾芯自主研發(fā)的OmniArk芯神鼎硬件仿真系統(tǒng),采用超大規(guī)??蓴U(kuò)展陣列架構(gòu)設(shè)計(jì),設(shè)計(jì)容量最大10億門。支持TBA、ICE 、混合仿真等多種仿真驗(yàn)證模式,可以滿足不同驗(yàn)證場景需求。

思爾芯提供的混合驗(yàn)證解決方案,通過連接開源虛擬機(jī)QEMU工具和OmniArk芯神鼎硬件仿真系統(tǒng),實(shí)現(xiàn)了虛擬原型硬件和嵌入式軟件協(xié)同混合驗(yàn)證,為早期的設(shè)計(jì)架構(gòu)的驗(yàn)證優(yōu)化、嵌入式軟件的協(xié)同開發(fā)、RTL級(jí)的仿真加速提供更準(zhǔn)確、更及時(shí)的仿真驗(yàn)證環(huán)境。以混合仿真一個(gè)SoC芯片設(shè)計(jì)為例。SoC整體系統(tǒng)架構(gòu)如下圖所示,主要由ARMv8 CPU、AMBA BUS、NVDLA和DRAM等模塊組成。為了實(shí)現(xiàn)QEMU虛擬平臺(tái)與OmniArk芯神鼎硬件仿真系統(tǒng)的混合仿真,我們將NVDLA和DRAM移植到OmniArk芯神鼎硬件仿真系統(tǒng)中進(jìn)行仿真,同時(shí)使用QEMU實(shí)現(xiàn)ARMv8的軟件模型。
2975bc70-2fb5-11ee-bbcf-dac502259ad0.png


圖7SoC系統(tǒng)框圖

在設(shè)計(jì)移植到OmniArk芯神鼎硬件仿真系統(tǒng)后,Runtime Server端采用QEMU模擬運(yùn)行ARMv8,并通過TLM Wrapper將其掛載到AMBA總線上。OmniArk芯神鼎硬件仿真系統(tǒng)仿真運(yùn)行NVDLA,通過AXI Transactor(簡稱Xtor)、GPIO Transactor掛載到AMBA總線上。Runtime Server和OmniArk芯神鼎硬件仿真系統(tǒng)之間通過SCE-MI協(xié)議進(jìn)行軟硬件協(xié)同仿真。
299779f0-2fb5-11ee-bbcf-dac502259ad0.png

圖8QEMU混合仿真系統(tǒng)框圖

  • TLM Wrapper,建立一套基于TLM模型的通信機(jī)制,將QEMU包裝成TLM模型,使QEMU模擬的設(shè)備能夠與SystemC開發(fā)的模塊進(jìn)行通信。
  • AMBA Router,以軟件形式模擬AMBA總線,實(shí)現(xiàn)了標(biāo)準(zhǔn)的AMBA路由機(jī)制和仲裁機(jī)制,可將多個(gè)TLM模型連接并進(jìn)行數(shù)據(jù)通信。
  • AXI TLM,是一個(gè)基于AXI總線的TLM模型,負(fù)責(zé)將AXI接口設(shè)備適配到AMBA Router總線上。
  • IRQ TLM,則是中斷TLM模型,負(fù)責(zé)將設(shè)備的中斷信號(hào)經(jīng)TLM2C發(fā)送給QEMU模擬的CPU,由CPU作出響應(yīng)處理。

總結(jié)

當(dāng)前,許多全流程驗(yàn)證工作都依賴于硬件仿真來完成。在早期,硬件仿真主要被用于代碼設(shè)計(jì)的后端階段,主要用于確認(rèn)代碼功能的正確性。然而,隨著設(shè)計(jì)流程時(shí)間需求的加劇,更多的步驟開始被集成到硬件仿真中,包括早期的功耗分析、系統(tǒng)環(huán)境構(gòu)建和邏輯調(diào)試等。
同時(shí),硬件仿真系統(tǒng)的專用化趨勢(shì)日益顯著。對(duì)于那些需要處理大量數(shù)據(jù),但算法相對(duì)單一的應(yīng)用領(lǐng)域,例如加密算法和WIFI應(yīng)用等,他們對(duì)仿真的需求正在逐步增大。在芯片設(shè)計(jì)過程中,根據(jù)設(shè)計(jì)的復(fù)雜性和特性,可能需要采用不同的仿真驗(yàn)證模式。在芯片設(shè)計(jì)中,我們可能需要不同的仿真驗(yàn)證模式以適應(yīng)不同的設(shè)計(jì)復(fù)雜性和特性。因此,專用的硬件仿真技術(shù)提供了強(qiáng)大的支持,使硬件仿真具有更高的靈活性和適應(yīng)性,滿足各種不同場景和需求的驗(yàn)證任務(wù)。思爾芯自主研發(fā)的OmniArk芯神鼎硬件仿真系統(tǒng),正是這種具有更高靈活性和適應(yīng)性的硬件仿真系統(tǒng),目前已在多個(gè)芯片設(shè)計(jì)企業(yè)成功使用。產(chǎn)品除了支持TBA、ICE 、混合仿真等多種仿真驗(yàn)證模式外,還支持用戶設(shè)計(jì)的快速導(dǎo)入和全自動(dòng)快速編譯、可以支持高速的仿真運(yùn)行速度,同時(shí)具備強(qiáng)大的調(diào)試能力和對(duì)海量的數(shù)據(jù)處理能力,可以快速尋找和修復(fù)源代碼中潛在的深度錯(cuò)誤和性能瓶頸。利用這個(gè)平臺(tái),用戶可以更高效地進(jìn)行芯片設(shè)計(jì)和優(yōu)化,極大地提高了芯片設(shè)計(jì)的質(zhì)量和效率。

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

    關(guān)注

    50

    文章

    3995

    瀏覽量

    133228
  • 驗(yàn)證平臺(tái)
    +關(guān)注

    關(guān)注

    0

    文章

    8

    瀏覽量

    2847
  • qemu
    +關(guān)注

    關(guān)注

    0

    文章

    57

    瀏覽量

    5315
收藏 人收藏

    評(píng)論

    相關(guān)推薦

    【開源鴻蒙】使用QEMU運(yùn)行OpenHarmony輕量系統(tǒng)

    本文將會(huì)介紹如何從源碼安裝QEMU 6.2.0,以及如何使用QEMU運(yùn)行OpenHarmony輕量系統(tǒng)。通過本文,你將會(huì)對(duì)QEMU和OpenHarmony輕量
    的頭像 發(fā)表于 09-14 08:51 ?320次閱讀
    【開源鴻蒙】使用<b class='flag-5'>QEMU</b>運(yùn)行OpenHarmony輕量<b class='flag-5'>系統(tǒng)</b>

    思爾亮相RISC-V中國峰會(huì),展示架構(gòu)建模與混合仿真驗(yàn)證方法

    在架構(gòu)設(shè)計(jì)軟件的研發(fā)上取得了進(jìn)展,該項(xiàng)目的成員——產(chǎn)品經(jīng)理梁琪與研發(fā)工程師被邀請(qǐng)至演講臺(tái),他們?yōu)榕c會(huì)者帶來了題為《基于RISC-V的架構(gòu)建模及混合仿真驗(yàn)證方法》的
    的頭像 發(fā)表于 08-30 12:44 ?155次閱讀
    思爾<b class='flag-5'>芯</b>亮相RISC-V中國峰會(huì),展示架構(gòu)建模與<b class='flag-5'>混合</b><b class='flag-5'>仿真</b><b class='flag-5'>驗(yàn)證</b>方法

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

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

    開源鴻蒙 編譯OpenHarmony輕量系統(tǒng)QEMU RISC-V版本

    本文將介紹如何為QEMU RISC-V虛擬平臺(tái)構(gòu)建OpenHarmony輕量系統(tǒng)。得益于QEMU的CPU指令集模擬執(zhí)行能力,該方法可以在沒有開發(fā)板的情況下調(diào)試和運(yùn)行OpenHarmon
    的頭像 發(fā)表于 07-15 10:36 ?895次閱讀
    開源鴻蒙 編譯OpenHarmony輕量<b class='flag-5'>系統(tǒng)</b><b class='flag-5'>QEMU</b> RISC-V版本

    EasyGo使用筆記丨分布式光伏集群并網(wǎng)控制硬件在環(huán)仿真應(yīng)用

    了該模型的仿真驗(yàn)證。最后,基于實(shí)時(shí)仿真器NetBox和DSP,構(gòu)建完整的硬件在環(huán)仿真平臺(tái)。分別對(duì)各算法進(jìn)行了測(cè)試,并與常規(guī)
    發(fā)表于 07-12 17:20

    思爾瞳原型驗(yàn)證系統(tǒng)通過上海市高新技術(shù)成果轉(zhuǎn)化項(xiàng)目認(rèn)定

    ? 近日,思爾自主研發(fā)的瞳原型驗(yàn)證系統(tǒng)Prodigy S7-19PQ-2(P-LSVU19PQ-2)成功通過了上海市高新技術(shù)成果轉(zhuǎn)化項(xiàng)
    的頭像 發(fā)表于 07-10 16:14 ?444次閱讀

    華章生態(tài)戰(zhàn)略亮相DAC,發(fā)布全流程敏捷驗(yàn)證管理器FusionFlex,并聯(lián)合華大九天推出數(shù)模混合仿真解決方案

    6月24日,在一年一度的全球電子設(shè)計(jì)自動(dòng)化盛會(huì)DAC 2024 上,國內(nèi)領(lǐng)先的系統(tǒng)級(jí)驗(yàn)證EDA解決方案提供商華章攜手國內(nèi)EDA龍頭企業(yè)華大九天,共同展示了雙方在數(shù)模混合
    發(fā)表于 06-26 10:38 ?172次閱讀
    <b class='flag-5'>芯</b>華章生態(tài)戰(zhàn)略亮相DAC,發(fā)布全流程敏捷<b class='flag-5'>驗(yàn)證</b>管理器FusionFlex,并聯(lián)合華大九天推出數(shù)模<b class='flag-5'>混合</b><b class='flag-5'>仿真</b>解決方案

    華章推出EDA全流程敏捷驗(yàn)證管理器昭睿FusionFlex

    6月24日,在一年一度的全球電子設(shè)計(jì)自動(dòng)化盛會(huì)DAC 2024 上,國內(nèi)領(lǐng)先的系統(tǒng)級(jí)驗(yàn)證EDA解決方案提供商華章攜手國內(nèi)EDA龍頭企業(yè)華大九天,共同展示了雙方在數(shù)模混合
    的頭像 發(fā)表于 06-26 09:46 ?496次閱讀
    <b class='flag-5'>芯</b>華章推出EDA全流程敏捷<b class='flag-5'>驗(yàn)證</b>管理器昭睿FusionFlex

    實(shí)時(shí)級(jí)嵌入式系統(tǒng)半實(shí)物仿真測(cè)試平臺(tái)ETest

    產(chǎn)品簡介** ETest_RT是一款具有高實(shí)時(shí)性的嵌入式系統(tǒng)半實(shí)物仿真測(cè)試平臺(tái)(Embedded System Real Time Test Studio RT,簡稱:ETest_RT
    發(fā)表于 04-25 17:01

    fpga原型驗(yàn)證平臺(tái)硬件仿真器的區(qū)別

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

    從MATLAB到MWORKS,科學(xué)計(jì)算與系統(tǒng)建模仿真平臺(tái)的中國選項(xiàng)

    一、同元軟控:敢擔(dān)重任,研制中國自主的科學(xué)計(jì)算與系統(tǒng)建模仿真平臺(tái) “中國需要自主的科學(xué)計(jì)算與系統(tǒng)建模仿真平臺(tái)?!?工業(yè)軟件是所有復(fù)雜系統(tǒng)研發(fā)設(shè)計(jì)、仿真
    的頭像 發(fā)表于 03-11 13:06 ?460次閱讀

    湯谷智能發(fā)布全棧RISC-V硬件仿真加速系統(tǒng)方案

    面向高性能計(jì)算、IoT、無線接入、音頻、多媒體、消費(fèi)類電子、邊緣計(jì)算等迅速擴(kuò)展的RISC-V使用場景,湯谷智能發(fā)布了基于自研Logic Giant原型驗(yàn)證硬件平臺(tái)的全棧RISC-V硬件
    的頭像 發(fā)表于 01-25 10:29 ?1210次閱讀
    湯谷智能發(fā)布全棧RISC-V<b class='flag-5'>硬件</b><b class='flag-5'>仿真</b>加速<b class='flag-5'>系統(tǒng)</b>方案

    面向系統(tǒng)級(jí)芯片驗(yàn)證硬件平臺(tái)介紹

    當(dāng)設(shè)計(jì)的規(guī)模動(dòng)輒幾十億門,系統(tǒng)驗(yàn)證時(shí)間不斷的增加,硬件驗(yàn)證系統(tǒng)幾乎是驗(yàn)證工程師不可或缺的利器,因此對(duì)高性能
    的頭像 發(fā)表于 01-05 10:06 ?712次閱讀

    華章雙模硬件仿真系統(tǒng)在渡科技部署,助力渡科技加速大型高速互連芯片突破

    12月15日,系統(tǒng)級(jí)驗(yàn)證EDA解決方案提供商華章,與大算力系統(tǒng)高速互連解決方案領(lǐng)先企業(yè)渡科技聯(lián)合宣布,雙方正式達(dá)成合作,建立戰(zhàn)略合作伙伴
    發(fā)表于 12-15 09:38 ?331次閱讀

    華章雙模硬件仿真系統(tǒng)助力渡科技加速大型高速互連芯片突破

    12月15日,系統(tǒng)級(jí)驗(yàn)證EDA解決方案提供商華章,與大算力系統(tǒng)高速互連解決方案領(lǐng)先企業(yè)渡科技聯(lián)合宣布,雙方正式達(dá)成合作,建立戰(zhàn)略合作伙伴
    的頭像 發(fā)表于 12-15 09:12 ?443次閱讀