期刊文献+

计算机仿真系统生成工具SIMS的设计与实现 被引量:2

Design and Implementation of Computer Simulator Generation Tool—SIMS
下载PDF
导出
摘要 分析了当前仿真系统快速生成技术,提出了基于体系结构模型与部件生成技术相结合的方法。定义了一套通用的指令集描述语言IDL,生成相应的功能部件;设计并实现了一个支持多种体系结构的计算机仿真系统快速生成工具SIMS。最后介绍了两个利用SIMS开发的仿真器MIIS和PSE。 The current techniques of simulator fast generation are introduced, the method based on architecture model and unit generation technique is presented. Then a set of instruction describe language is defined, which can generate relevant units. A Computer Simulator Generation Tool (SIMS) that can support different computer architectures is designed and implemented. At last, MIIS and PSE that are developed by SIMS are introduced.
出处 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第6期1392-1395,1399,共5页 Journal of System Simulation
基金 北京市自然科学基金(4023012)
关键词 仿真系统 体系结构模型 指令描述语言 生成工具 simulator architecture model instruction describe language generation tool
  • 相关文献

参考文献9

  • 1Robert Cmelik and David Keppel. Shade: A Fast Instruction Set Simulator for Execution Profiling [J]. Performance Evaluation Review, 1994, 22(1): 128-137.
  • 2Mendel Rosenblum, Edouard Bugnion, Scott Devine, and Steve Herrod. Using the SimOS Machine Simulator to Study Complex Computer Systems [A]. In ACM TOMACS Special Issue on Comouter Simulation, 1997.
  • 3Mendel Rosenblum, Stephen A. Herrod, Emmett Witchel, and Anoop Gupta. Complete Computer Simulation: The SimOS Approach [A].In IEEE Parallel and Distributed Technology, Fall 1995.
  • 4P Magnusson, F Dahlgrent, H Grahn, M Karlsson, F Larsson, F Lundholm, A Moestedt, J Nilsson, P Stenstrom, BWerner.SimICS/sun4m: A Virtual Workstation [A]. Proceedings of the 1998 Usenix Annual Technical Conference, 1998.
  • 5Fredrik Larsson, Peter Magnusson, Bengt Wemer. SimGen:Development of Efficient Instruction Set Simulators [R]. SICS Research Report, 1997.
  • 6Sun Microsystems. The SPARC^TM Architecture Manual [M]. 1987.
  • 7王晓红.[D].北京航空航天大学,2001.
  • 8王旭.计算机指令集仿真器自动生成技术文档[Z]..技术报告[C].北京航空航天大学,2001..
  • 9Digital Equipment Corporation. PDP11 04/34/45/55/60 Processor Handbook [M]. 1978.

同被引文献25

  • 1周喜明,吴悦,杨洪斌.面向对象的离散事件仿真核的设计和实现[J].计算机工程,2004,30(16):82-84. 被引量:1
  • 2王志刚,周学海,李曦,杨君.xpTools:代码压缩系统定制环境[J].小型微型计算机系统,2006,27(7):1250-1253. 被引量:1
  • 3姚英彪,刘鹏,姚庆栋,肖志斌.微处理器功能验证程序生成[J].计算机辅助设计与图形学学报,2006,18(10):1484-1490. 被引量:6
  • 4余洁,李曦,周学海,王志刚.可重定向的周期精确模拟器生成环境研究[J].小型微型计算机系统,2007,28(1):166-171. 被引量:2
  • 5沈永清,徐中伟.通用嵌入式系统软件测试平台的设计[J].计算机工程与应用,2007,43(15):83-85. 被引量:10
  • 6Rosenblum M, Herrod S A, Witchel E, er al. Complete computer system simulation: the SimOS approach[ J ]. Parallel & Distributed Tectmology: Systems & Applications, IEEE, 1995,3(4) :34-43.
  • 7Benini L. Bertozzi D, Bruni D, et al. SystemC eosimulation and emulation of multiprocessor SoC designs[J ]. IEEE Computer, 2003,36(4) :53 - 59.
  • 8Adir A, Almoq E, Fournier L, et al. Genesys - Pro: innovations in test program generation for functional processor verification [J ]. Design & Test of Computers, IEEE, 2004,21 ( 2 ) : 84 - 93.
  • 9Cheng K, Krishnakumar A. Automatic generation of functional vectors using the extended finite state machine model [ J ]. ACM Transactions on Design Automation of Electronic Systems, 1996,1(1) :57 - 79.
  • 10Frddricks M.The nML machine description formalism.Technical Report 1991/15[R].Fachbereich Informatik,TU Berlin,1991.

引证文献2

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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