吴忠躺衫网络科技有限公司

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

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

3天內不再提示

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

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

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

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

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

pYYBAGR0COqAJmdwAAFKQ3-xOo0722.png

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

poYBAGR0CO6ACE4XAAJs20uZJn8146.png

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

poYBAGR0CPKALfTjAAHkm_ZBYn4172.png

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

pYYBAGR0CPaAf_zZAAIc_K316dI140.png

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

審核編輯:郭婷

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

    關注

    5

    文章

    1718

    瀏覽量

    149971
  • UVM
    UVM
    +關注

    關注

    0

    文章

    182

    瀏覽量

    19228
  • AXI
    AXI
    +關注

    關注

    1

    文章

    128

    瀏覽量

    16712
收藏 人收藏

    評論

    相關推薦

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

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

    用戶驗證問題

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

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

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

    什么是IP開發(fā)及FPGA建模

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

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

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

    基于VHDL語言的IP驗證

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

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

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

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

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

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

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

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

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

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

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

    事務建模使IP加速

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

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

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

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

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

    ESL事務建模語言簡介

    任何系統級建模語言,都需要具備在較高層次的抽象能力和對不同來源的IP的集成能力。建模方法的選擇通常基于語言熟悉程度、建模支持、模型可用性和簡單性。 在各種軟硬件描述語言中,Verilo
    的頭像 發(fā)表于 11-02 15:10 ?793次閱讀
    24山方向上| 博彩旅游业| 至尊百家乐2012| 真钱赌博| 大发888wf娱乐场下载| 如何胜百家乐的玩法技巧和规则 | 百家乐官网走势图备用网站| 百家乐官网下注瀛钱法| 潘多拉百家乐的玩法技巧和规则 | 大发888娱乐场官方| 百家乐官网有人玩吗| 百家乐官网游戏机说明书| 百家乐官网赢的技巧| 南投县| 皇冠网最新网址| 水果机8键遥控器| 博士百家乐现金网| 百家乐风云人物| 做生意忌讳什么颜色| 百家乐连输的时候| 五张百家乐官网的玩法技巧和规则| 怎么玩百家乐官网网上赌博| 百家乐官网澳门路规则算法| 百家乐官网棋牌外挂| 百家乐官网自动下注| 百家乐官网群1188999| 百家乐官网凯时娱乐平台| 家百家乐官网破解软件| 百家乐官网游戏的玩法| 百家乐官网注册下注平台| 哪里有百家乐官网赌博网站| 百家乐官网博彩优惠论坛| 百家乐官网偷吗| 欧凯百家乐官网的玩法技巧和规则| 做生意需要找风水先生吗| 百家乐赌博平台| 百家乐论坛在线提供| 试玩百家乐游戏机| 大发888收获| 在线百家乐怎么下注| 百家乐连跳趋势|