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

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

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

設(shè)計建模系統(tǒng)流量并驗證系統(tǒng)的性能

Xilinx賽靈思官微 ? 來源:djl ? 作者:賽靈思 ? 2019-07-25 08:38 ? 次閱讀

目前最新版本的Xilinx Software Development Kit(SDK),它既包含在Vivado Design Suite當(dāng)中,也可以作為獨立的軟件免費下載,它增加了系統(tǒng)性能分析(SPA)工具箱,可以協(xié)助設(shè)計人員對基于處理器器件(比如Zynq-7000 SoC)的硬件和軟件系統(tǒng)進行早期的研究。這些研究可以讓您(系統(tǒng)設(shè)計者)清楚和了解到Zynq SoC兩大部分之間數(shù)據(jù)流的相互作用,一部分是Zynq SoC PS(處理器系統(tǒng))部分的兩個ARM Cortex-A9 MPCore 處理器,另一部分是在PL(可編程邏輯)部分實現(xiàn)的硬件模塊。Xilinx SPA工具箱提供給您所需的工具,在設(shè)計的關(guān)鍵階段(PS. 甚至可以在設(shè)計的最初階段)您便可以建模和觀測系統(tǒng)的性能,因此您就可以在設(shè)計的過程中不斷優(yōu)化系統(tǒng)的性能。

下圖顯示了SPA工具箱怎樣融入到SDK中:

設(shè)計建模系統(tǒng)流量并驗證系統(tǒng)的性能

SPA工具箱是對SDK其它工具如分析和調(diào)試工具、驅(qū)動、庫的補充。SPA工具箱包含有檢測框架、用戶接口和可視化工具,支持兩種重要的使用模式:一是早期研究環(huán)境,稱為系統(tǒng)性能建模(SPM),二是監(jiān)測和分析您自己的設(shè)計。

SPM是SDK的一個獨特的功能,甚至在您的團隊啟動系統(tǒng)設(shè)計之前,允許您進行復(fù)雜的性能建模,使用實際的目標(biāo)硬件和比特流配置文件,包含5個AXI流量生成器模塊和一個AXI性能監(jiān)視模塊,這些是作為可配置的IP核在Zynq SoC的PL部分實現(xiàn)的,如下圖所示:

設(shè)計建模系統(tǒng)流量并驗證系統(tǒng)的性能

AXI流量生成器產(chǎn)生的流量嚴(yán)格共享Zynq SoC資源,包括高速AMBA AXI 內(nèi)部互聯(lián)、多端口DDR SDRA控制器以及兩個ARM Cortex-A9 MPCore處理器共享的512Kbyte L2緩存。在設(shè)計不當(dāng)?shù)南到y(tǒng)中,過多的系統(tǒng)流量占用共享資源會導(dǎo)致多點競爭,出現(xiàn)數(shù)據(jù)瓶頸。這種潛在瓶頸的一個典型的例子就是片上共享的L2高速緩存。因為ACP(加速器一致性端口)與ARM Cortex-A9 CPUs共享L2高速緩存,來自ACP或者處理器的高吞吐量的流量具有降低其他方面性能的潛在問題。您可以預(yù)見這種性能降低的問題,但是除非您有合適的儀器內(nèi)置到系統(tǒng)中,否則您想理解其真實的性質(zhì)和嚴(yán)重程度是很困難的。

如果您要進行這種類型的分析,AXI流量生成器正是您需要的那種儀器。在您的團隊將系統(tǒng)硬件設(shè)計到Zynq SoC PL中之前,這些流量生成器可以作為系統(tǒng)硬件流量生成的代理。同時您可以運行Zynq PS部分的軟件應(yīng)用,允許您評估增加的系統(tǒng)流量對應(yīng)用軟件性能的影響。每個ARM Cortex-A9 MPcore處理器都有一個性能檢測單元(PMU)來協(xié)助軟件性能分析。集成SPM功能的SDK允許您使用您的實際設(shè)計,通過建模和驗證數(shù)據(jù)流量的方法,進行端到端的性能分析流程。SDK提供了可視化功能,這幫助您更好的理解這些復(fù)雜的相互作用,即使是在一個研究探索,設(shè)計初期的環(huán)境。

這個過程包括四個步驟,如下:

需求評估—首先您要估計您的設(shè)計中的AXI流量需求,包括目標(biāo)系統(tǒng)的多個PS—PL接口的數(shù)據(jù)吞吐量。

模型設(shè)計—基于這些流量需求,使用SPM對您的設(shè)計進行建模。使用實際的目標(biāo)硬件意味著,在建模期間您可以獲得實時性能。您可以獲得比基于軟件建模和仿真環(huán)境大為改善的運行時間和提升的建模精度,因為激活的實時系統(tǒng)是在實際的硬件下監(jiān)測的。

性能驗證—您可以在設(shè)計過程的每一步,通過監(jiān)測和可視化您的實際設(shè)計來驗證性能結(jié)果。

深入分析—SDK性能分析工具允許更深入的分析,因此您可以更加輕松的評估系統(tǒng)級設(shè)計方案和衡量設(shè)計“改進”帶來的影響。(每個經(jīng)驗豐富的設(shè)計團隊已經(jīng)認(rèn)識到哪怕是一個系統(tǒng)級“改進”或者軟件的改變都會導(dǎo)致性能問題,這個工具幫助您快速捕捉和解決這些問題)

實現(xiàn)這樣端到端的性能分析流程,具有如下多重好處:

減少了設(shè)計風(fēng)險—通過基于SPM的建模實現(xiàn)期望的延遲和吞吐量可以提供更強的保證,最終的設(shè)計將會取得相同的期望性能。

設(shè)計上的改進—使用SDK的SPM運行流量場景,能夠為系統(tǒng)性能提供有價值的見解(例如,延遲)。

情景假設(shè)—SPM是一個高度可配置的模型,所以您可 以使用它來試驗不同的功能、特性和體系結(jié)構(gòu)。

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

    關(guān)注

    112

    文章

    16389

    瀏覽量

    178427
  • 建模
    +關(guān)注

    關(guān)注

    1

    文章

    309

    瀏覽量

    60783
  • 比特流
    +關(guān)注

    關(guān)注

    0

    文章

    10

    瀏覽量

    8143
收藏 人收藏

    評論

    相關(guān)推薦

    關(guān)于功能驗證、時序驗證、形式驗證、時序建模的論文

    隨著集成電路的規(guī)模和復(fù)雜度不斷增大,驗證的作用越來越重要。要在較短的時間內(nèi)保證芯片最終能正常工作,需要將各種驗證方法相結(jié)合,全面充分地驗證整個系統(tǒng)。FF-DX是一款高
    發(fā)表于 12-07 17:40

    Saber軟件功率MOSFET自建模與仿真驗證

    利用功率MOSFET手冊,利用Saber軟件里的自建模工具對功率MOSFET進行建模,仿真驗證性能。淘寶上搜索“功率MOSFET
    發(fā)表于 04-12 20:43

    永磁同步電機直接轉(zhuǎn)矩控制系統(tǒng)中的MATLAB/Simulink建模方法

    本博客介紹了永磁同步電機直接轉(zhuǎn)矩控制系統(tǒng)中各個懷節(jié)的MATLAB/Simulink建模方法,系統(tǒng)進行仿真研究了系統(tǒng)
    發(fā)表于 08-27 06:53

    一次泵變流量系統(tǒng)技術(shù)有何應(yīng)用

    。近幾年來隨著空調(diào)DDC控制技術(shù)的迅速發(fā)展,冷凍機組技術(shù)性能的不斷提高,VPF系統(tǒng)技術(shù)的先進性、可靠性及經(jīng)濟性已為市場所接受,不容置疑,VPF系統(tǒng)的成功與否首先取決于設(shè)計,其中包括合理選用設(shè)備
    發(fā)表于 09-09 07:25

    交流傳動系統(tǒng)性能控制及MATLAB/SIMULINK建模

    交流傳動系統(tǒng)性能控制及MATLAB/SIMULINK建模PDF首頁 >工學(xué)力學(xué)字號:小中大評論:0 條評論:0 條交流傳動系統(tǒng)性能控制及
    發(fā)表于 09-13 08:40

    基于面板式顯示的圖像投影系統(tǒng)建模

    摘要現(xiàn)代顯示設(shè)備,例如液晶顯示器(LCD),通常用作成像或投影系統(tǒng)的光源。 通過使用VirtualLab中的面板類型光源,可以方便地對這種顯示設(shè)備建模。 作為示例,本案例選擇了圖像投影透鏡使用面板
    發(fā)表于 02-18 15:12

    基于POOSL 的系統(tǒng)性能建模性能分析

    本文介紹了面向?qū)ο蟮牟⑿忻枋稣Z言(POOSL,Parallel Object-Oriented Specification Language)的基本語義語法及相關(guān)的建模工具,通過對一個基本的包交換系統(tǒng)
    發(fā)表于 06-10 16:10 ?8次下載

    AHB片上系統(tǒng)總線的建模驗證

    如何有效的對SoC 設(shè)計進行驗證已經(jīng)成為縮短設(shè)計周期的關(guān)鍵問題。針對這個問題,本文提出一種形式化建模驗證方法,對片上系統(tǒng)AMBA 工業(yè)總線規(guī)范的AHB 總線協(xié)議進行形式
    發(fā)表于 11-30 15:29 ?9次下載

    寬頻帶接收系統(tǒng)建模與仿真

    提出了一種寬頻段接收機的設(shè)計方案,分析了混頻方案的合理性并進行了驗證,對整個系統(tǒng)進行建模和仿真。系統(tǒng)性能仿真顯示了該設(shè)計方案有良好的中頻增益及大于90dBc的鏡像抑制
    發(fā)表于 12-25 16:35 ?29次下載

    Cadence宣布推出Interconnect Workbench 用于進行基于ARM片上系統(tǒng)性能分析與驗證

    Workbench是一種軟件解決方案,在整個片上系統(tǒng)設(shè)計過程對互連進行周期精確的性能分析,能在關(guān)鍵流量狀況下快速識別出設(shè)計問題,幫助用戶改進器件
    發(fā)表于 11-07 09:34 ?1257次閱讀

    直膨式太陽能熱泵系統(tǒng)的數(shù)學(xué)建模驗證

    直膨式太陽能熱泵系統(tǒng)的數(shù)學(xué)建模驗證_胡巍亞
    發(fā)表于 01-02 15:24 ?0次下載

    縮短設(shè)計周期:設(shè)計早期建模系統(tǒng)流量驗證系統(tǒng)性能

    Suite當(dāng)中,也可以作為獨立的軟件免費下載,它增加了系統(tǒng)性能分析(SPA)工具箱,可以協(xié)助設(shè)計人員對基于處理器器件(比如Zynq-7000 SoC)的硬件和軟件系統(tǒng)進行早期的研究。這些研究可以讓您(系統(tǒng)
    發(fā)表于 02-08 10:01 ?311次閱讀
    縮短設(shè)計周期:設(shè)計早期<b class='flag-5'>建模</b><b class='flag-5'>系統(tǒng)</b><b class='flag-5'>流量</b><b class='flag-5'>并</b><b class='flag-5'>驗證</b><b class='flag-5'>系統(tǒng)</b>的<b class='flag-5'>性能</b>

    基于SystemC的系統(tǒng)建模驗證流程

    為便于后面敘述的方便,這里先簡要介紹一下系統(tǒng)建模的幾種抽象方式和應(yīng)用類型。
    的頭像 發(fā)表于 10-04 14:36 ?4405次閱讀
    基于SystemC的<b class='flag-5'>系統(tǒng)</b>級<b class='flag-5'>建模</b>和<b class='flag-5'>驗證</b>流程

    電源管理系統(tǒng)熱模型的建模驗證

    的挑戰(zhàn)。因此,熱評估應(yīng)包含在項目預(yù)覽中。Flotherm 是一款專業(yè)的熱模擬工具,用于模擬熱系統(tǒng)的真實情況,有助于減少不必要的試錯過程成本。在本應(yīng)用筆記中,將討論電源管理系統(tǒng)熱模型的建模驗證
    的頭像 發(fā)表于 04-19 17:19 ?3794次閱讀
    電源管理<b class='flag-5'>系統(tǒng)</b>熱模型的<b class='flag-5'>建模</b>和<b class='flag-5'>驗證</b>

    Symtavision—分布式嵌入式系統(tǒng)時間建模分析和驗證工具

    Symtavision工具為Luxoft公司提供的一款分布式嵌入式系統(tǒng)時間特性建模、分析和驗證工具,主要應(yīng)用于汽車領(lǐng)域。經(jīng)緯恒潤聯(lián)合Symtavision工具廠商能夠為客戶提供完整的系統(tǒng)
    的頭像 發(fā)表于 04-14 11:24 ?666次閱讀
    Symtavision—分布式嵌入式<b class='flag-5'>系統(tǒng)</b>時間<b class='flag-5'>建模</b>分析和<b class='flag-5'>驗證</b>工具