期刊文献+

利用 VMM 平台和 AMBA VIP 对安全算法加速器模块的验证

Using VMM platform and AMBA VIP for verification of security algorithm accelerator
下载PDF
导出
摘要 随着安全算法的发展,其复杂性和算法操作数据位数也随之迅速增加。安全算法的硬件实现和加速器化已成为必然趋势。本文针对北京华虹集成电路设计有限公司的安全算法加速器IP核的验证项目,介绍了Synopsys公司VMM验证平台和AMBAVIP在其中的应用。主要阐述了选择VMM验证平台与AMBAVIP的依据;VMM环境中定向测试发生器(Generator)模块的编写、测试案例编写、安全算法的设计、仿真信息筛选方面的应用技巧。通过本验证平台,查出了加速器很多处设计错误。仿真平台验证结束后,在FPGA上对本加速器进行了大量椭圆曲线的测试。所有测试全部通过,证明了本验证平台的有效性。 As the security algorithm became more and more complex, and the operation width became wider and wider, using accelerator hardware to realize secure algorithm has become the trend. This paper focuses on the verification of a secure algorithm accelerator IP, which is developed by Beijing HuaHong IC Design Co. Ltd. h discussed the reason of choosing Synopsys VMM verification platform and AMBA V1P: the techniques in tuning directed transaction generator of the VMM environment, in designing test cases, in deploying secure algorithm, in ng simulation message. The verification process exposed many design hugs. Using this platform, after the ation of the accelerator was over, extensive tests were performed on FPGA. All tests passed successfully, which proved the effectiveness of the verification platform.
出处 《中国集成电路》 2013年第4期42-47,共6页 China lntegrated Circuit
关键词 验证 VMM AMBA VIP 安全算法加速器 SYSTEMVERILOG verification VMM AMBA VIP security algorithm accelerator System Verilog
  • 相关文献

参考文献3

二级参考文献23

  • 1Chris Spear.System Verilog for Verification[M]. Springer, 2006, 1-18. 被引量:1
  • 2Verification Methodology Mannual[P]. Synopsys, Inc,&ARM,Inc. 被引量:1
  • 3Jinbin Hu,Xiaoguang Li. System verification based on VMM and SOPC[C]. Computer Science and Information Technology(ICCSIT), 2010 3rd IEEE International Conference. 2010: 41-43. 被引量:1
  • 4Janick Bergeron. Writing Testbenches using System Verilog[M] Springer. 2006. 被引量:1
  • 5Lu Kong,Wu-Chen,Yong He,et al.. Design of SoC verification platform based on VMM methodology[C]. ASIC, 2009. ASICON' 09. IEEE 8th International Conference. 2009:1272-1275. 被引量:1
  • 6Blakley G R. A computer algorithm for calculating the productAB modulo M[J]. IEEE Trans, C-32 (5), 1983, 497-500. 被引量:1
  • 7Montgomery P L. Modular multiplication without trial division[J]. Mathematics of Computation, 1985, 44(170):519-521. 被引量:1
  • 8Koc C K, Acar T, Kaliski B S. Analyzing and comparing montgomery multiplication algorithms [J]. IEEE Micro, 1996, 6 : 26-33. 被引量:1
  • 9Baker P W. Fast computation of A *B modulo N[J]. Electronic Letter, 1987, 23(15):794-795. 被引量:1
  • 10Chiou C W, Yang T C. Iterative modular multiplication algorithm without magnitude comparison [J]. Electronic Letter,1994, 30(24): 2017-2018. 被引量:1

共引文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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