衡阳派盒市场营销有限公司

電子發燒友App

硬聲App

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

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

3天內不再提示
電子發燒友網>電子資料下載>模擬數字>符合驗證方法手冊VMM的基于SystemVerilog事務的測試平臺詳細介紹

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

2019-05-28 | pdf | 0.77 MB | 次下載 | 2積分

資料介紹

本文描述了一個符合驗證方法手冊(VMM)的基于SystemVerilog事務的測試平臺,并通過實例說明了使用基于事務的方法創建一個全面的約束隨機驗證環境中的VMM方法。這包括交易的生成和通過交易者消費它們。本文還通過圖形化解釋了如何在基于事務的驗證測試臺的組成中使用VMM宏和類。用于此目的的DUT是一個帶有斷言的同步FIFO模型。給出了試驗臺模型和試驗結果。完整的驗證模型可供下載

  SystemVerilog是一種豐富的語言,它提供了所需的構造,以支持用于驗證當今復雜設計的高級方法。這些方法包括基于事務的驗證(TBV)、覆蓋驅動的驗證(CDV)、約束隨機測試(CRT)和基于斷言的驗證(ABV)。功能覆蓋可進一步分為時間覆蓋(使用SystemVerilog斷言(SVA))和數據覆蓋(使用Covergro)好的基于事務的CRT驗證依賴于約束的事務隨機化和將這些事務傳輸到事務處理程序以執行(即,驅動被測設備(DUT)信號進行測試)。這些方法可以使用功能覆蓋的收集和訪問,從而實現動態lly修改測試方案。可重用庫支持的這些方法的改編在SystemVerilog的圖書驗證方法手冊(VMM)中進行了解釋,“現在VCS用戶可以使用VMM標準庫對象代碼。VMM標準庫源代碼,可與符合IEEE P1800 SystemVerilog的EDA工具一起使用,計劃在年底前由VCS用戶和SystemVerilog Catalyst成員免費獲得許可。

下載該資料的人也在下載 下載該資料的人還在閱讀
更多 >

評論

查看更多

下載排行

本周

  1. 1電子電路原理第七版PDF電子教材免費下載
  2. 0.00 MB  |  1490次下載  |  免費
  3. 2單片機典型實例介紹
  4. 18.19 MB  |  92次下載  |  1 積分
  5. 3S7-200PLC編程實例詳細資料
  6. 1.17 MB  |  27次下載  |  1 積分
  7. 4筆記本電腦主板的元件識別和講解說明
  8. 4.28 MB  |  18次下載  |  4 積分
  9. 5開關電源原理及各功能電路詳解
  10. 0.38 MB  |  10次下載  |  免費
  11. 6基于AT89C2051/4051單片機編程器的實驗
  12. 0.11 MB  |  4次下載  |  免費
  13. 7藍牙設備在嵌入式領域的廣泛應用
  14. 0.63 MB  |  3次下載  |  免費
  15. 89天練會電子電路識圖
  16. 5.91 MB  |  3次下載  |  免費

本月

  1. 1OrCAD10.5下載OrCAD10.5中文版軟件
  2. 0.00 MB  |  234313次下載  |  免費
  3. 2PADS 9.0 2009最新版 -下載
  4. 0.00 MB  |  66304次下載  |  免費
  5. 3protel99下載protel99軟件下載(中文版)
  6. 0.00 MB  |  51209次下載  |  免費
  7. 4LabView 8.0 專業版下載 (3CD完整版)
  8. 0.00 MB  |  51043次下載  |  免費
  9. 5555集成電路應用800例(新編版)
  10. 0.00 MB  |  33562次下載  |  免費
  11. 6接口電路圖大全
  12. 未知  |  30320次下載  |  免費
  13. 7Multisim 10下載Multisim 10 中文版
  14. 0.00 MB  |  28588次下載  |  免費
  15. 8開關電源設計實例指南
  16. 未知  |  21539次下載  |  免費

總榜

  1. 1matlab軟件下載入口
  2. 未知  |  935053次下載  |  免費
  3. 2protel99se軟件下載(可英文版轉中文版)
  4. 78.1 MB  |  537791次下載  |  免費
  5. 3MATLAB 7.1 下載 (含軟件介紹)
  6. 未知  |  420026次下載  |  免費
  7. 4OrCAD10.5下載OrCAD10.5中文版軟件
  8. 0.00 MB  |  234313次下載  |  免費
  9. 5Altium DXP2002下載入口
  10. 未知  |  233045次下載  |  免費
  11. 6電路仿真軟件multisim 10.0免費下載
  12. 340992  |  191183次下載  |  免費
  13. 7十天學會AVR單片機與C語言視頻教程 下載
  14. 158M  |  183277次下載  |  免費
  15. 8proe5.0野火版下載(中文版免費下載)
  16. 未知  |  138039次下載  |  免費
最新百家乐官网的玩法技巧和规则| 百家乐官网庄闲的几率| 赌场百家乐作弊| 百家乐官网稳赢秘诀教学| 百家乐官网打法分析| 百家乐必胜方法如果你还想继续不看可能后悔一生 | 威尼斯人娱乐网网址| 百家乐怎样概率大| 百家乐官网制胜秘| 百家乐官网有没有稳赢| 百家博娱乐城| 大发888官方c8| 威尼斯人娱乐城送彩金| 百家乐知识技巧玩法| 堆龙德庆县| 百家乐赌场程序| 百家乐公试打法| 澳门百家乐官网网上赌博| 贝博百家乐的玩法技巧和规则 | 百家乐官网最佳注码法| 百家乐官网娱乐天上人间| 体育博彩| 免费棋牌游戏| 百家乐公式软件| 网上百家乐官方网站| 三元风水24山水法| 三星百家乐官网的玩法技巧和规则| 百家乐官网最佳投注办法| 百家乐官网扑克玩法| 神农架林区| 香港六合彩全年资料| 东方夏威夷网站| 盈丰国际博彩网| 娱乐城开户送现金| 载大发888软件| 水果机遥控器价格| 金世豪百家乐的玩法技巧和规则 | 宝马会百家乐官网的玩法技巧和规则| 百家乐官网投注平台信誉排行| 买百家乐官网程序| 百家乐官网怎么玩会|