期刊文献+

基于FPGA的集成电路形式化验证加速

下载PDF
导出
摘要 OpenCoho是一个通过可达性分析及计算对集成电路设计进行形式化验证的软件工具。它可以验证由非线性常微分方程建模的电路系统的正确性。提出基于FPGA的验证算法硬件加速方法,探讨环形振荡器电路有效性验证,通过仿真说明该方法的可行性和意义。实验结果表明,利用该方法平均验证速度提高了约10倍。
出处 《软件导刊》 2015年第4期52-54,共3页 Software Guide
  • 相关文献

参考文献5

二级参考文献24

  • 1赖昭胜,管立新.基于Dsp Builder的DDS实现及其应用[J].微计算机信息,2006,22(11Z):186-188. 被引量:15
  • 2Dufour C. Abourida S. BelangerJ. et al. Real-time simula-tion of permanent magnet motor drive on FPGA chip for high-bandwidth controller tests and validation [CJ II Proc of the 32nd Conference of the IEEE Industrial Electronics Socie-ty(lECON-06). 2006: 2591-2596.
  • 3He Chuan. Numerical solutions of differential equations on FPGA-enhanced computers[DJ. College Station. TX: Texas A&'M University. 2007.
  • 4Yee K. Numerical solution of initial boundary value problems involving Maxwell's equations in isotropic media] ] ]. IEEE Transactions on Antennas and Propagation. 1966. 14 ( 3) : 302-307.
  • 5Ge De-biao , Yan Yu-bo. Finite-difference time-domain meth-od for electromagnetic wave [M]. Xi.an: Xidian University Press.2005. (in Chinese).
  • 6Wang Chen. FPGA implementation of 2D FDTD algorithm [DJ. Boston: Northeastern University. 2003.
  • 7Schneider R N. Turner L E. Okoniewski M M. Application of FPGA technology to accelerate the finite-difference time-domain (FDTD) method[CJ II Proc of 2002 ACM/SIGDA the 10th International Symposium on Field-programmable Gate Arrays. 2002 :97-105.
  • 8DurbanoJ r. Ortiz F E. HumphreyJ R. et al. Hardware implementation of a three-dimensional finite-difference time-domain algorithm[J]. IEEE Antennas and Wireless Propaga-tion Letters. 2003.2 (1) : 54-57.
  • 9Wang Chen. Acceleration of the 3D FDTD algorithm in fixed-point arithmetic using reconfigurable hardwarej D'], Boston: Northeastern University. 2007.
  • 10Kosmas P. FDTD modeling for forward and linear inverse e-lectromagnetic problems in lossy. dispersive mediaj D']. Bos-ton: Northeastern University. 2004.

共引文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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