期刊文献+

基于UVM实现SM4算法的自动化验证平台 被引量:2

UVM-based Automatic Verification Platform for SM4 Algorithm
下载PDF
导出
摘要 在轨道交通安全通信系统中,为提升系统性能并降低软件复杂度,CPLD/FPGA和定制芯片等硬件产品得到广泛应用,逻辑功能仿真验证是保证上述硬件产品质量的重要环节。以SM4加解密算法模块为验证对象,采用SystemVerilog语言构建基于UVM的自动化验证平台。区别于传统的验证方法,该平台采用随机测试向量并利用DPI接口内嵌C函数模型,实现仿真数据自动化实时监控,避免单纯用人工检查,有效提高仿真验证效率。 In rail transit safety communication system,in order to improve system performance and reduce complexity of the software,widely use hardware products such as CPLD/FPGA and custom chips,simulation verification for logic function is an important link to ensure the quality of above hardware products.This paper takes SM4 encryption and decryption algorithm module as verification object,and uses SystemVerilog language construction based on UVM automatic verification platform.Different from traditional verification methods,the platform uses random test vectors and contains embedded the model of Function C by the use of DPI interface,to realize real-time monitoring of simulation data,in order to avoid manual inspection and improve the efficiency of simulation verification.
作者 马盼 靳旭 Ma Pan;Jin Xu(CRSC Research&Design Institute Group Co.,Ltd,Beijing 100070,China;Beijing Engineering Technology Research Center of Operation Control Systems for High Speed Railways,Beijing 100070,China)
出处 《铁路通信信号工程技术》 2020年第8期33-37,共5页 Railway Signalling & Communication Engineering
关键词 UVM验证 直接编程接口 仿真 UVM verification DPI(Direct Programming Interface) simulation
  • 相关文献

参考文献3

二级参考文献16

  • 1朱琴跃,谢维达,谭喜堂.MVB协议一致性测试研究与实现[J].铁道学报,2007,29(4):115-120. 被引量:26
  • 2ARM Limited Inc. AMBA AXI Protocol specification,REV1.0[EB/OL].http://www.arm.com,2008.
  • 3夏宇闻.Verilog数字系统设计教程[M]北京:北京航空航天大学出版社,20045-176.
  • 4OLUGBON A,KHAWAM S,ARSLAN T. AMBA AHB-based reconfigurable SoC architecture using multiplicity of dedicated flyby DMA blocks[A].Asia and South Pacific:IEEE Press,2005.1256-1259.
  • 5MA Guo-liang,HE Hu. Design and implementation of an advanced DMA controller on AMBA-based SoC[A].ASIC.Changsha,China:IEEE Press,2009.419-422.
  • 6V. Asenek,C. Underwood,R. Velazco,S. Rezgui,M. Oldfield, et al.SEU induced errors observed in microprocessor systems[].Nuclear Science IEEE Transactions on.1998
  • 7CENELEC.Railway applications-Communication,signalling and processing systems-Safety related electronic systems for signalling[].EN:.2003
  • 8.Functional safety of electrical/electronic/programmable electronic safety-related systemsParts1-7[].IEC StandardsIEC.2002
  • 9.Railway applications—Communication,signaling and processing systems—Software for railway control and protection systems[].European StandardsEN.2011
  • 10RTCA SC-180.DESIGN ASSURANCE GUIDANCE FOR AIRBORNE ELECTRONIC HARDWARE. RTCA/DO-254 . 2000

共引文献11

同被引文献5

引证文献2

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部