期刊文献+

一种可配置的EDA仿真验证方法

A Configurable Simulation and Verification Approach in EDA Processes
在线阅读 下载PDF
导出
摘要 介绍了一种适用于5000逻辑单元以上规模电路的可配置EDA仿真验证方法.它由可配置的测试台生成器自动产生测试台,并管理测试向量的注入和仿真状态的存储.与以往研究采用的定时触发的激励信号注入方式不同,本方法采用事件触发,从而保持了与被测电路仿真过程的实时交互.自动生成测试台代码可避免设计人员进行重复性编码并提高了可靠性.事件触发的仿真状态保存机制大大节省了存储空间. Architecture of a configurable simulation and verification approach is introduced,which is suitable for circuits containing more than 5 000 logic cells.Configuration script is used by Configurable Test-bench Generator to generate test benches and manage injection of testing vectors and storage of simulation states.Different from previous work,events are defined to trigger injection of stimulation signals instead of timers.Thus,the process of injection can keep interaction with simulation process.Automatic g...
出处 《电子器件》 CAS 2007年第5期1914-1917,1921,共5页 Chinese Journal of Electron Devices
基金 国防预研基金资助(51415060303HK0113)
关键词 仿真验证 EDA 可配置 simulation verification EDA configurable
  • 相关文献

参考文献7

二级参考文献14

  • 1刘虹.Active HDL6.2使用技巧小谈[J].鹭江职业大学学报,2005,13(3):63-66. 被引量:1
  • 2程耀林.FPGA的系统设计方法解析[J].现代电子技术,2005,28(19):90-93. 被引量:10
  • 3张俊.卷积码维特比译码算法最佳反馈深度研究[J].现代电子技术,2006,29(3):45-46. 被引量:5
  • 4F. Casaubieilh, et al. Functional verification methodology of Chameleon processor. The 33rd Design Automation Conference,Las Vegas, 1996
  • 5A. Aharon, D. Goodman, M. Levinger, et al. Test program generation for functional verification of PowerPC processors in IBM. The 32nd Design Automation Conference, San Francisco,1995
  • 6H. P. Sharangpani, M. L. Barton. Statistical Analysis of Floating Point Flaw in the Pentium Processor. Santa Clara:Intel Corporation, 1994
  • 7Wang Haixia. Resereh on fromal methods in arithmetic circuit verification: [ Ph. D. dissertation ] . Beijing: Institute of Computing Technology, CAS, 2004
  • 8J. Monaco, D. Holloway, R. Raina. Functional verification methodology for the PowerPC 604 microprocessor. The 33rd Design Automation Conference, Las Vegas, 1996
  • 9M. Kantrowitz, L. M. Noack. I'm done simulating; Now what?The 33rd Design Automation Conference, Las Vegas, 1996
  • 10Shen Haihua, Ma Lin, Zhang Heng. CRPG: A configurable random test-program generator for microprocessors. ISCAS' 05,Kobe, Japan, 2005

共引文献28

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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