UVM-Based Universal Verification Platform for AMBA Bus Interface
CSTR:
Author:
  • Article
  • | |
  • Metrics
  • |
  • Reference [25]
  • |
  • Related [20]
  • | | |
  • Comments
    Abstract:

    According to the Moore’s Law, the scale of integrated circuits is getting bigger, and the integratable circuits within a single chip are increasingly complex. In a research and development cycle of an SoC chip, pre-layout verification becomes harder with more complex chip functions, taking uncontrollable time. How to reliably and efficiently verify complex chips within limited time represents a challenge to be addressed. In response to this problem, this paper customizes a UVM-based universal verification platform for AMBA bus interface. The platform is equipped with a scalable structure and random verification incentives, achieving dependable results. It can verify the modules to be tested in AMBA-APB, AMBA-AHB, and AMBA-AXI interfaces. In addition, the verification platform can be quickly set up for the target, and the preparation for pre-layout verification is simplified. The UVM-based platform produces random data with constraints, and verification results are converted into coverage reports, ensuring the efficiency and completeness.

    Reference
    [1] 张强. UVM实战-卷Ⅰ. 北京:机械工业出版社, 2014.
    [2] 刘达, 倪伟, 徐春琳. 基于UVM的AXI总线验证IP设计. 微电子学, 2019, 49(5):680-685
    [3] ARM. AMBA APB protocol specification. 2010.
    [4] ARM. AMBA 3 AHB-Lite Protocol Specification. 2006.
    [5] ARM. AMBA AXI protocol specification. 2010.
    [6] ARM. AMBA ATB protocol specification. 2006.
    [7] 魏吉泰. 基于AMBA总线的通用异步接口的设计与验证[硕士学位论文]. 成都:电子科技大学, 2019.
    [8] 王一楠. 基于AMBA2.0的AHB Matrix总线架构设计[硕士学位论文]. 西安:西安理工大学, 2018.
    [9] 王一楠, 林涛, 余宁梅. 基于AMBA的AHB总线矩阵设计. 微电子学与计算机, 2019, 36(2):73-77
    [10] 王心弋. 基于UVM的自适应验证平台设计与实现[硕士学位论文]. 成都:电子科技大学, 2020.
    [11] 贾玲玲. 基于AMBA总线的SMBus总线控制器的设计与实现[硕士学位论文]. 成都:电子科技大学, 2020.
    [12] Bromley J. If systemverilog is so good, why do we need the UVM? Sharing responsibilities between libraries and the core language. Proceedings of the 2013 Forum on Specification and Design Languages. Paris, France. 2013. 1-7.
    [13] 刘斌. 芯片验证漫游指南. 北京:电子工业出版社, 2018.
    [14] 克里斯·斯皮尔. SystemVerilog验证. 张春, 麦宋平, 赵益新, 译. 北京:科学出版社, 2009.
    [15] 李晨阳, 宋澍申, 王涛, 等. 一种基于UVM的高层次化验证平台设计. 微电子学与计算机, 2019, 36(6):79-83
    [16] Huang X, He X, He ZR, et al. Using UVM testbench to generate the analog stimuli. Proceedings of 2019 2nd International Conference on Informatics, Control and Automation. Hangzhou, China. 2019. 249-253.
    [17] Marconi S, Conti E, Christiansen J, et al. A UVM simulation environment for the study, optimization and verification of HL-LHC digital pixel readout chips. Journal of Instrumentation, 2018, 13(5):P05018.[doi:10.1088/1748-0221/13/05/P05018
    [18] 阎芳, 李哲玮, 田毅, 等. 基于UVM的多通路航空总线收发器IP验证. 电光与控制, 2018, 25(1):70-73
    [19] Fiergolski A. Simulation environment based on the universal verification methodology. Journal of Instrumentation, 2017, 12:C01001.[doi:10.1088/1748-0221/12/01/C01001
    [20] Akhila P, Prathap Kumar MKC. Design of AMBA 3.0 (AXI) bus based system on chip communication protocol. International Journal of Science and Research, 2013, 2(3):57-60.
    [21] 倪伟, 王笑天. 基于UVM的功能覆盖率驱动SDIO IP验证. 微电子学, 2017, 47(3):392-395, 411
    [22] Kiran A, Thrimurthulu V. Verification of AMBA AHB2APB bridge using Universal Verification Methodology (UVM). International Journal in IT and Engineering, 2016, 4(12):1-10
    [23] 李哲玮. 基于AMBA协议的片上数据总线适航性设计[硕士学位论文]. 天津:中国民航大学, 2018.
    [24] 钱一文, 景为平, 蒋斌. 基于UVM的CPU卡芯片验证平台. 微电子学与计算机, 2016, 33(6):37-40
    [25] 胡景华. 基于AXI总线的SoC架构设计与分析[硕士学位论文]. 上海:上海交通大学, 2013.
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

马鹏,刘佩,张伟.基于UVM的AMBA总线接口通用验证平台.计算机系统应用,2021,30(7):57-69

Copy
Share
Article Metrics
  • Abstract:1117
  • PDF: 2419
  • HTML: 2074
  • Cited by: 0
History
  • Received:November 10,2020
  • Revised:December 12,2020
  • Online: July 02,2021
Article QR Code
You are the first990780Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-3
Address:4# South Fourth Street, Zhongguancun,Haidian, Beijing,Postal Code:100190
Phone:010-62661041 Fax: Email:csa (a) iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063