期刊文献+

基于指令集模拟器的处理器建模与验证 被引量:7

Processor Modeling and Verification Based on Instruction Set Simulator
下载PDF
导出
摘要 介绍处理器仿真建模技术以及指令集模拟器在其中的应用,讨论处理器ISA,MA模型建立以及指令精确、时钟精确的指令集模拟器实现方法,提出一种基于多线程技术的调试器集成方法,介绍指令集模拟器在一款密码专用微处理器开发过程中的具体应用方法。 Instruction Set Simulator(ISS) and its application in processor modeling and verification are introduced. The modeling methods of Instruction Set Architecture(ISA) and Micro-Architecture(MA) are discussed. Furthermore, the implementation of instruction accurate and cycle accurate instruction set simulator are also investigated. Multithreading technology is used in integration of debugger with ISS. Application of ISS in development of a cipher specific processor is presented.
出处 《计算机工程》 CAS CSCD 北大核心 2008年第5期248-250,共3页 Computer Engineering
基金 国家部委基础预研基金资助项目
关键词 指令集模拟器 处理器建模 指令精确 时钟精确 流水线处理器 Instruction Set Simulator(ISS) processor modeling instruction accurate cycle accurate pipeline processor
  • 相关文献

参考文献4

二级参考文献13

  • 1Zhu Jian-wen, Gajski D D. An ultra-fast instruction set simulator[J]. IEEE Transactions on Very Large Scale Integration (VLSI) Systems,2002,10(3):363 -373.
  • 2Achim Nohl, Gunnar Braun, Andread Hoffmann. A universal technique for fast and flexible instruction-set architecture simulation[C].Proceedings of DAC 2002, New Orleans, Louisiana, USA,2002:22-27.
  • 3ARM Limited. ARM architecture reference manual[Z]. ARM DDI0100E,1996.
  • 4ARM Limited. ARM ELF File Format[Z]. ARM DUI0101A ,1998.
  • 5Ghosh A , Bershteyn M R , Chien C et al. A hardware-software co-simulator for embedded system design and debugging[C]. Proc. Asia South Pacific Design Automation Conference,1995:155-164.
  • 6Chang You-Sung,Lee Seungjong,Park In-Cheol,et al.Design Automation Conference,1999 Proceedings,36th,1999:181
  • 7Hu A J.Formal hardware verification with BDDs:an introduction.Communications,Computers and Signal Processing,1997 10 Years PACRIM 1987~1997-Networking the Pacific Rim.1997 IEEE Pacific Rim Conference,1997,2:677
  • 8Iwashita H,Kowatari S,Nakata T,et al.Automatic program generator for simulation-based processor verification.Test Symposium,1994,Proceedings of the Third Asian,1994:298
  • 9Kaivola R,Narasimhan N.Formal verification of the Pentium(R) 4 multiplier.High-Level Design Validation and Test Workshop,2001 Proceedings of Sixth IEEE International,2001:115
  • 10Patankar V A,Jain A,Bryant R E.Formal verification of an ARM processor.VLSI Design,1999 Proceedings of Twelfth International Conference,1999:282

共引文献7

同被引文献28

引证文献7

二级引证文献15

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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