色哟哟视频在线观看-色哟哟视频在线-色哟哟欧美15最新在线-色哟哟免费在线观看-国产l精品国产亚洲区在线观看-国产l精品国产亚洲区久久

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

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

3天內不再提示

驗證IP用戶的期望:事務建模

星星科技指導員 ? 來源:synopsys ? 作者:S. Prashanth ? 2023-05-29 10:09 ? 次閱讀

在開發和使用驗證IP中都發揮了作用,我認為交易類是VIP中最重要的組成部分。事務類的質量定義了 VIP 的質量。無論是UVM還是任何其他方法,決定交易類結構都需要充分的規劃,因為它會影響整個VIP架構和驗證環境。

讓我列出一些我認為相關的準則:

協議的所有變體都應在事務類中定義。這使得事務類可用于生成各種可能的激勵(同時驅動DUT)。然后,監視器的總線功能模型還能夠從 DUT 接口中提取信息并填充事務類的相關字段。特別是對于總線協議,我們應該在事務類中具有隨機屬性,不僅用于信號值,還用于所有可能的延遲。這將使生成器能夠使用約束隨機生成來模擬不同的速度,并在交易中創建不同的延遲。然后,BFM 可以使用事務類中嵌入的信息,而不是自行生成任何信息。

pYYBAGR0COqAJmdwAAFKQ3-xOo0722.png

分層與扁平化事務模型:扁平化事務易于維護,并且更容易添加新約束。但是,當協議很復雜并且需要在程序上隨機化字段時,最好讓父類實例化子類對象數組。
在下面的示例中,AXI 突發類實例化特定于突發的每個節拍的數據類隊列。生成突發字段后,將在突發的 post randomize() 方法中生成數據字段。如果此事務模型被平展,則axi_data類的所有字段都將是axi_burst類中的數組。這里的缺點是什么?如果必須生成隨機突發,則所有數組都將并行生成。如果您有復雜的約束,這可能會導致額外的性能開銷。

poYBAGR0CO6ACE4XAAJs20uZJn8146.png

配置信息應該可以從事務類中訪問。任何可重用的 VIP 都必須是可配置的,并且通常具有與之關聯的配置描述符。不同的交易需要根據VIP的配置生成信息。因此,通過分層選項 (VMM) 或資源/配置數據庫 (UVM) 將 VIP 配置句柄作為引用傳遞給事務。

poYBAGR0CPKALfTjAAHkm_ZBYn4172.png

提供一組豐富的實用程序方法:UVM 提供了一組預定義的宏,這些宏定義了事務中的復制、比較、顯示等實用程序方法。特別是對于驗證IP中使用的事務,與要驗證的總線協議相關的其他實用程序方法可能非常有用。這可用于 VIP 的不同組件。在下面的AXI示例中,方法get_trans_addr_by_idx()計算并提供“數據節拍”的地址,用戶不必擔心“突發”是包裝型、固定型還是增量型。類似地,你可以有一個 get_data() 方法,它可以提供一個字節隊列以及相應的數據。因此,用戶無需在其記分牌中單獨計算此信息。

pYYBAGR0CPaAf_zZAAIc_K316dI140.png

我們可以進一步完善這些。最后,重要的是要知道構建有效的事務模型將產生高效的驗證IP。在這里,我放下了我的想法。根據要驗證的協議和所涉及的復雜性,不同的人可能希望以不同的方式構建他們的交易類。但是,我相信上述準則可以納入當今使用的大多數協議中。希望這對您有用,我絕對有興趣知道您對這個主題的看法。

審核編輯:郭婷

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

    關注

    5

    文章

    1709

    瀏覽量

    149575
  • UVM
    UVM
    +關注

    關注

    0

    文章

    182

    瀏覽量

    19179
  • AXI
    AXI
    +關注

    關注

    1

    文章

    127

    瀏覽量

    16631
收藏 人收藏

    評論

    相關推薦

    關于功能驗證、時序驗證、形式驗證、時序建模的論文

    設計的驗證平臺,以此來提高工作效率。論文介紹了FF-DX地址計算部件的時序建模和靜態時序分析方法。在靜態時序分析之后,將SDF文件中的延時信息反標到邏輯網表中,通過動態時序驗證進一步保證設計的時序收斂
    發表于 12-07 17:40

    用戶驗證問題

    我是待驗證用戶組,想要成為驗證用戶。可是存在一個問題,我不知道怎么驗證。打開用戶組界面,點擊
    發表于 11-08 10:23

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

    利用功率MOSFET手冊,利用Saber軟件里的自建模工具對功率MOSFET進行建模,并仿真驗證其性能。淘寶上搜索“功率MOSFET建模”,則可看到課程鏈接。
    發表于 04-12 20:43

    什么是IP開發及FPGA建模

    隨著系統級芯片技術的出現,設計規模正變得越來越大,因而變得非常復雜,同時上市時間也變得更加苛刻。通常RTL已經不足以擔當這一新的角色。那么我們就需要弄明白,什么是IP開發及FPGA建模
    發表于 08-01 07:41

    《TCP-IP詳解_卷3_TCP事務協議,HTTP,NNTP

    《TCP-IP詳解_卷3_TCP事務協議,HTTP,NNTP和UNIX域協議》
    發表于 03-24 22:42 ?39次下載

    基于VHDL語言的IP驗證

    探討了IP 核的驗證與測試的方法及其和VHDL 語言在IC 設計中的應用,并給出了其在RISC8 框架CPU 核中的下載實例。關鍵詞:IP 核;片上系統;驗證
    發表于 06-15 10:59 ?32次下載

    基于SystemC事務級的建模仿真研究

    事務級(Transaction-Level,TL)建模是SystemC 中提出的一種新型高層次建模方法,以CoCentric System Studio(CCSS)作為SystemC 仿真工具,以一個
    發表于 07-30 15:27 ?24次下載

    一種基于事務的SoC功能驗證方法

    本文介紹了基于事務的SoC驗證方法,詳細說明了事務事務處理器的概念和事務驗證平臺的功能結構。
    發表于 02-24 11:44 ?8次下載

    基于事務斷言驗證及SDH芯片驗證平臺

    提出了基于事務斷言驗證技術,用屬性說明語言(Property Specification Language,PSL)描述系統的屬性,用事務進行系統的驗證,通過編程語言接口機理和工具控制
    發表于 08-02 17:26 ?0次下載

    基于OVM驗證平臺的IP芯片驗證

      芯片驗證的工作量約占整個芯片研發的70%,已然成為縮短芯片上市時間的瓶頸。應用OVM方法學搭建SoC設計中的DMA IP驗證平臺,可有效提高驗證效率。
    發表于 06-20 09:03 ?2836次閱讀

    符合驗證方法手冊VMM的基于SystemVerilog事務的測試平臺詳細介紹

    本文描述了一個符合驗證方法手冊(VMM)的基于SystemVerilog事務的測試平臺,并通過實例說明了使用基于事務的方法創建一個全面的約束隨機驗證環境中的VMM方法。這包括交易的生成
    發表于 05-28 08:00 ?2次下載
    符合<b class='flag-5'>驗證</b>方法手冊VMM的基于SystemVerilog<b class='flag-5'>事務</b>的測試平臺詳細介紹

    事務建模使IP加速

    硬件和軟件及其交互的功能驗證是系統項目關鍵路徑上的另一項任務。SoC 和軟件中不斷增加的功能范圍正在提高設計復雜性,并以指數方式推高功能驗證成本。此外,大多數當前的設計流程將設計捕獲為寄存器傳輸級別
    的頭像 發表于 06-09 16:14 ?1010次閱讀
    <b class='flag-5'>事務</b>級<b class='flag-5'>建模</b>使<b class='flag-5'>IP</b>加速

    ESL設計的核心——事務建模介紹

    設計、軟硬件劃分、軟硬件協同設計和驗證,都離不開事務建模。 在系統級的設計中,首先要解決的問題是如何描述系統也就是所謂系統建模。在當前的集成電路設計中,算法層次上建立的功能模型(AL
    的頭像 發表于 11-02 14:38 ?1425次閱讀

    ESL設計中事務建模的一般理論

    在更詳細地描述事務建模之前,首先介紹在事務建模中用到的一些術語。首先事務表示數據和事件的交換過程。各個連續的
    的頭像 發表于 11-02 14:48 ?621次閱讀

    ESL事務建模語言簡介

    任何系統級建模語言,都需要具備在較高層次的抽象能力和對不同來源的IP的集成能力。建模方法的選擇通常基于語言熟悉程度、建模支持、模型可用性和簡單性。 在各種軟硬件描述語言中,Verilo
    的頭像 發表于 11-02 15:10 ?726次閱讀
    主站蜘蛛池模板: 999www成人免费视频| 涩涩爱涩涩片影院| 奇米色偷偷| 中国字字幕在线播放2019| 国产精品无码AV天天爽人妻蜜桃| 漂亮的av女演员| hdxxxx58丝袜连裤袜| 欧美片第1页 综合| 99久久精品国内| 麻豆人妻换人妻X99| 中文无码热在线视频| 精品亚洲国产熟女福利自在线 | 国产欧美一区二区精品久久久| 欧美日韩视频高清一区| 97在线观看免费视频| 久久综合香蕉久久久久久久| 中文视频在线观看| 麻豆精品2021最新| 9久久99久久久精品齐齐综合色圆 9久高清在线不卡免费无吗视频 | 毛片亚洲毛片亚洲毛片| 一个人在线观看免费中文www | 俄罗斯美女啪啪| 帅哥操美女| 国产精品你懂得| 亚洲高清国产拍精品影院| 极品美女久久久久久久久久久| 亚洲精品日韩在线观看视频| 国际老妇高清在线观看| 亚洲三级在线观看| 麻豆产精品一二三产区区| avv天堂| 日韩高清在线亚洲专区| 国产精品视频大全| 亚洲精品一区二区在线看片| 久就热视频精品免费99| japansemature护士| 婷婷午夜影院| 精品久久久久久综合网| 91嫩草私人成人亚洲影院| 欧美日韩视频一区二区三区| 国产精品人妻系列21P|