期刊文献+

基于SCV的MIPS指令集指令随机生成工具

SCV based random instruction generation tool for MIPS instruction set
下载PDF
导出
摘要 介绍了在SystemC的系统级建模与验证环境中,使用SCV实现用于M IPS指令集指令随机生成的工具。该随机指令生成工具包括静态生成与动态生成两种工作模式。并针对随机指令生成中会遇到的数据访问越界、分支/跳转地址越界等问题提出了解决办法。此外还研究了针对流水线冲突进行验证的方法。 A SCV-based random instruction generation tool used for generation of MIPS instructions in a system level modeling and simulation environment of SystemC was introduced. The tool consisted of two kinds of generation mode, the static mode and the dynamic mode. The problems in random instruction generation, such as data access violation, branch/jump violation and others, were solved. Additionally, a method with respect to the verification of pipeline conflict was provided.
作者 尚利宏 田冰
出处 《计算机应用》 CSCD 北大核心 2007年第8期1991-1993,共3页 journal of Computer Applications
关键词 随机指令生成 验证 SYSTEMC SCV MIPS random instruction generation verification SystemC SystemC Verification (SCV) MIPS
  • 相关文献

参考文献9

  • 1LIANG Z S,YAN X L,WANG J B,et al.A dynamic random instruction and stimulus generation for functional verification of embedded processor[C]// Proceedings of 5th International Conference on ASIC,Beijing.[S.l.]:IEEE Press,2003,1:459-462.
  • 2PIXLEY C,STRADER N,BRUCE W,et al.Commercial design verification:methodology and tools[C]// Proceedings of the IEEE International Test Conference on Test and Design Validity.Washington,DC:IEEE Computer Society,1996:839-848.
  • 3AHARON A,GOODMAN D,LEVINGER M,et al.Test program generation for functional verification of PowerPC processor in IBM[C]// Proceedings of the 2nd ACM/ IEEE Design Automation Conference.San Francisco:ACM Press,1995:279-285.
  • 4KANTROWITZ M,NOACK L M.Functional verification of a multiple-Issue,pipelined,superscalar Alpha processor:the Alpha 21164 CPU chip[J].Digital Technical Journal,1995,37(1):89-99.
  • 5王涛.一种新型微处理器功能验证[J].电子测量技术,2003,26(5):47-48. 被引量:1
  • 6CHANG T-C,IYENGAR V,RUDNICK E M.A biased random instruction generation environment for architectural verification of pipelined processors[J].Journal of Electronic Testing,2000,16(1/2):13-27.
  • 7ROSE J,SWAN S.SCV randomization[EB/OL].[2006-12-26].www.systemc.org.
  • 8LEVHARI Y.Dynamic pseudo-random assembly test generation in CPU verification[EB/OL].[2006-12-26].http://www.verisure.com/papers/cpuver.doc.
  • 9SWEETMAN D.MIPS处理器设计透视:See MIPS Run[M].赵俊良,张福新,陶品,译.北京:北京航空航天大学出版社,2005:363-365.

二级参考文献2

  • 1Functional verification of multiple-issue,out-of-order,superscalar alpha processor-The DEC Alpha 21214 Microprocessor.Scott Taylor,Michael Quinn,etc.35^th Design Automation Conference.P2-4
  • 2the art of verification FAISAL I. HAQUE , KHIZAR A.KHAN, JONATHAN MICHELIN . p400---406.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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