期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
33
篇文章
<
1
2
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
指令模拟的应用和特点
1
作者
瞿国平
王宇心
杜红燕
《计算机工程与科学》
CSCD
1996年第1期80-84,7,共6页
本文论述了指令模拟在软件研制和其它领域中的应用及特点。
关键词
靶机
指令模拟
模拟
器
在线阅读
下载PDF
职称材料
基于指令集模拟器的处理器建模与验证
被引量:
7
2
作者
严迎建
徐劲松
+1 位作者
陈韬
刘军伟
《计算机工程》
CAS
CSCD
北大核心
2008年第5期248-250,共3页
介绍处理器仿真建模技术以及指令集模拟器在其中的应用,讨论处理器ISA,MA模型建立以及指令精确、时钟精确的指令集模拟器实现方法,提出一种基于多线程技术的调试器集成方法,介绍指令集模拟器在一款密码专用微处理器开发过程中的具体应...
介绍处理器仿真建模技术以及指令集模拟器在其中的应用,讨论处理器ISA,MA模型建立以及指令精确、时钟精确的指令集模拟器实现方法,提出一种基于多线程技术的调试器集成方法,介绍指令集模拟器在一款密码专用微处理器开发过程中的具体应用方法。
展开更多
关键词
指令
集
模拟
器
处理器建模
指令
精确
时钟精确
流水线处理器
在线阅读
下载PDF
职称材料
可重用的指令集模拟器的设计与优化技术
被引量:
2
3
作者
韩小琨
蒋烈辉
+2 位作者
尹青
陈亮
周博
《计算机工程》
CAS
CSCD
北大核心
2008年第7期61-63,共3页
指令集模拟器是进行体系结构设计与评估及软件逆向工程开发的有利工具。该文采用解释型模拟策略,阐述可重用的指令集模拟器的实现方法。在此基础上,提出一种基于虚拟指令集的模拟技术,使之能够应用于多款处理器,同时论述了几种提高模拟...
指令集模拟器是进行体系结构设计与评估及软件逆向工程开发的有利工具。该文采用解释型模拟策略,阐述可重用的指令集模拟器的实现方法。在此基础上,提出一种基于虚拟指令集的模拟技术,使之能够应用于多款处理器,同时论述了几种提高模拟效率的优化技术。
展开更多
关键词
指令
集
模拟
器
虚拟
指令
集
解释型
模拟
模拟
策略
在线阅读
下载PDF
职称材料
ARMv4指令集模拟器设计及优化技术
被引量:
6
4
作者
严迎建
刘明业
《小型微型计算机系统》
CSCD
北大核心
2005年第2期315-317,共3页
指令集模拟器是处理器、编译器以及嵌入式系统设计中的重要工具之一 .首先讨论指令集模拟器的分类及特点 ,然后阐述作者采用解释技术开发的 ARMv4指令集模拟器的实现方法 ,为了提高模拟效率 ,还讨论几种性能优化技术 .
关键词
指令
集
模拟
器
解释型
模拟
编译型
模拟
嵌入式系统
在线阅读
下载PDF
职称材料
MIPS64指令集模拟器的建模与实现方法
被引量:
2
5
作者
蔡启先
刘明
余祖峰
《计算机工程》
CAS
CSCD
北大核心
2010年第18期245-246,252,共3页
用软件编程的方法介绍一个与MIPS32/64指令集兼容的指令集模拟器的建模与实现过程。该方案用C++来描述处理器的硬件行为,通过在编译时选择不同的选项分别实现对MIPS32和MIPS64指令集构架的嵌入式处理器的模拟,实现除浮点数以外的所有指...
用软件编程的方法介绍一个与MIPS32/64指令集兼容的指令集模拟器的建模与实现过程。该方案用C++来描述处理器的硬件行为,通过在编译时选择不同的选项分别实现对MIPS32和MIPS64指令集构架的嵌入式处理器的模拟,实现除浮点数以外的所有指令的译码和执行。该方案的主要好处是代码可重用,指令扩展性能好,可以同时兼容MIPS32和MIPS64指令集的模拟。
展开更多
关键词
MIPS64
指令
集
指令
集
模拟
器
指令
集构架
在线阅读
下载PDF
职称材料
采用动态译码缓存的高速指令集模拟器
被引量:
4
6
作者
桑胜田
王进祥
赵新曙
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第18期248-250,共3页
指令集模拟器是计算机体系结构研究和SoC软硬件协同设计的重要工具,模拟器的性能和灵活性是影响设计和验证效率的重要因素。解释型指令集模拟器具有很好的灵活性,在操作系统等涉及到自修改代码的模拟中具有不可替代的作用。该文给出了...
指令集模拟器是计算机体系结构研究和SoC软硬件协同设计的重要工具,模拟器的性能和灵活性是影响设计和验证效率的重要因素。解释型指令集模拟器具有很好的灵活性,在操作系统等涉及到自修改代码的模拟中具有不可替代的作用。该文给出了一个高性能解释型指令集模拟器的设计,它具有很高的模拟精度和很好的灵活性;同时指令集模拟器采用了动态译码缓存等优化技术,使其具有很高的模拟性能。以ARM7指令集模拟器为实例,所提出的优化技术同样适用于其它现代RISC体系结构。
展开更多
关键词
指令
集
模拟
器
动态译码缓存
软硬件协同设计
在线阅读
下载PDF
职称材料
MIPS64指令集模拟器动态编译技术研究
7
作者
蔡启先
郭森
王智文
《计算机工程与应用》
CSCD
2012年第29期42-45,161,共5页
嵌入式开发对指令集模拟器模拟速度的要求越来越高。提出了一种新的细化的动态翻译技术,基本思路是指令集的每条指令被翻译成一条语义函数,通过特定的指针指向符合条件的语义函数,这样,即使执行条件发生改变时也能调用上次编译的结果,...
嵌入式开发对指令集模拟器模拟速度的要求越来越高。提出了一种新的细化的动态翻译技术,基本思路是指令集的每条指令被翻译成一条语义函数,通过特定的指针指向符合条件的语义函数,这样,即使执行条件发生改变时也能调用上次编译的结果,从而使模拟速度显著提高,MIPS64指令集模拟器的测试结果给以了验证。
展开更多
关键词
指令
集
模拟
器
细化的动态编译模式
MIPS64
在线阅读
下载PDF
职称材料
快速SPARC V7指令集模拟器的设计方法
被引量:
3
8
作者
关小川
陈朝晖
党纪红
《计算机工程与设计》
CSCD
北大核心
2011年第2期531-534,共4页
为提高解释型指令集模拟器的速度,研究了模拟器设计的译码分派技术及其优化方法,针对模拟器运行时译码阶段开销较大和执行阶段需要本地机器指令较多等特点,提出用预译码技术和优化线索解释技术相结合的方式,提升模拟器的速度。通过设计...
为提高解释型指令集模拟器的速度,研究了模拟器设计的译码分派技术及其优化方法,针对模拟器运行时译码阶段开销较大和执行阶段需要本地机器指令较多等特点,提出用预译码技术和优化线索解释技术相结合的方式,提升模拟器的速度。通过设计一个基于SPARC V7指令集模拟器,结合实例对3种模拟器性能进行比较分析,实验结果表明了该方法的可行性和有效性。
展开更多
关键词
模拟
器
指令
集
模拟
预译码
线索解释
译码分派
在线阅读
下载PDF
职称材料
一种DSP处理器内核的指令级模拟器
9
作者
刘振尧
戴麟
《现代电子技术》
2007年第6期29-30,34,共3页
在DSP内核的设计、开发过程中,指令级模拟器可用于汇编程序仿真、调试,有利于加快芯片开发进度。介绍了一种由作者设计的基于MFC语言,设计面向对象操作界面的DSP内核指令级模拟器,具体地对指令的分析判断由Lex和yacc实现,可以直观表现...
在DSP内核的设计、开发过程中,指令级模拟器可用于汇编程序仿真、调试,有利于加快芯片开发进度。介绍了一种由作者设计的基于MFC语言,设计面向对象操作界面的DSP内核指令级模拟器,具体地对指令的分析判断由Lex和yacc实现,可以直观表现出汇编程序运行之后各个寄存器和内存镜像,支持单步和断点调试。
展开更多
关键词
指令
级
模拟
器
DSP
汇编程序
内核
在线阅读
下载PDF
职称材料
一个可扩展的RISC机指令摸拟器
被引量:
1
10
作者
张韧
《计算机工程与应用》
CSCD
北大核心
1989年第5期10-11,9,共3页
本文介绍我在研制3J1 RISC机芯片时所设计的指令集模拟器,这个模拟器能模拟和检验指令集设计的合理性及RISC机体系结构与其指令集的合理性和协调性,并能进一步方便地扩展至寄存器级模拟,也可再下到混合级模拟。在针对RISC机研制模拟器...
本文介绍我在研制3J1 RISC机芯片时所设计的指令集模拟器,这个模拟器能模拟和检验指令集设计的合理性及RISC机体系结构与其指令集的合理性和协调性,并能进一步方便地扩展至寄存器级模拟,也可再下到混合级模拟。在针对RISC机研制模拟器时须体现RISC特性,与CISC是有所不同的。本文试图就研。制过程中的某些问题给出处理方式和方法。最后还将说明,3J1 RISC机指令模拟器虽是在3J—RISC机研制过程中产生的,但不仅适于此机。
展开更多
关键词
RISC机
指令模拟
器
计算机
在线阅读
下载PDF
职称材料
虚拟指令集的构建及翻译技术研究
被引量:
2
11
作者
谢耀滨
蒋烈辉
+2 位作者
尹青
张媛媛
朱杰
《计算机工程与设计》
CSCD
北大核心
2007年第14期3489-3491,3538,共4页
利用虚拟指令作为中间语言来构建可重用指令集模拟器是解决模拟器可重用性的重要技术。介绍了可重用指令集模拟器的工作原理,提出了虚拟指令的构建原则和方法,描述了对汇编指令的语义规则,最后举例说明如何从汇编指令的语义描述规则出发...
利用虚拟指令作为中间语言来构建可重用指令集模拟器是解决模拟器可重用性的重要技术。介绍了可重用指令集模拟器的工作原理,提出了虚拟指令的构建原则和方法,描述了对汇编指令的语义规则,最后举例说明如何从汇编指令的语义描述规则出发,生成与目标指令语义等价的虚拟指令。
展开更多
关键词
指令
集
模拟
虚拟
指令
语义描述
语义等价
指令
翻译
在线阅读
下载PDF
职称材料
嵌入式系统软硬件协同模拟验证环境设计与实现
被引量:
4
12
作者
严迎建
王世好
刘明业
《计算机工程》
CAS
CSCD
北大核心
2004年第9期45-47,共3页
介绍了一个嵌入式系统软硬件协同模拟验证环境,该环境以指令集模拟器和事件驱动硬件模拟器为基本框架,并由总线调度模型和总线界面模型提供软硬件模拟交互界面。重点讨论该环境中软硬件模拟器之间的接口设计与实现方法,最后给出一个...
介绍了一个嵌入式系统软硬件协同模拟验证环境,该环境以指令集模拟器和事件驱动硬件模拟器为基本框架,并由总线调度模型和总线界面模型提供软硬件模拟交互界面。重点讨论该环境中软硬件模拟器之间的接口设计与实现方法,最后给出一个嵌入式系统协同验证的应用实例。
展开更多
关键词
嵌入式系统
协同验证
软硬件协同
模拟
指令
集
模拟
器
在线阅读
下载PDF
职称材料
面向专用指令集处理器设计的软硬件协同验证
被引量:
2
13
作者
严迎建
杨志峰
任方
《计算机工程》
CAS
CSCD
北大核心
2010年第6期241-243,共3页
为提高专用指令集处理器设计中的验证效率和覆盖率,将专用指令集处理器的寄存器传输级设计验证与汇编器、指令集模拟器等软件开发工具的测试相结合,提出一种软硬件协同验证方法。该方法按照覆盖率要求由软件自动产生测试程序和数据,将...
为提高专用指令集处理器设计中的验证效率和覆盖率,将专用指令集处理器的寄存器传输级设计验证与汇编器、指令集模拟器等软件开发工具的测试相结合,提出一种软硬件协同验证方法。该方法按照覆盖率要求由软件自动产生测试程序和数据,将利用汇编器产生的机器指令输入到指令集模拟器和硬件仿真工具分别进行软硬件仿真,通过软硬件仿真结果自动比对得出联合验证结果。实践证明,该方法能够有效提高验证效率和覆盖率,缩短验证周期。
展开更多
关键词
专用
指令
集处理器
硬件仿真
指令
集
模拟
器
软硬件协同验证
在线阅读
下载PDF
职称材料
基于ISS和硬件模拟器的协同模拟关键技术研究
被引量:
3
14
作者
严迎建
刘明业
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2004年第4期397-401,共5页
提出一种在嵌入式系统软硬件协调设计中对系统功能进行验证的软硬件协同模拟方法 该方法使用指令集模拟器 (ISS)和事件驱动硬件模拟器分别完成软硬件的模拟 ,并采用C ++语言构造处理器的总线功能模型 ,实现软硬件模拟器的信息交互 重...
提出一种在嵌入式系统软硬件协调设计中对系统功能进行验证的软硬件协同模拟方法 该方法使用指令集模拟器 (ISS)和事件驱动硬件模拟器分别完成软硬件的模拟 ,并采用C ++语言构造处理器的总线功能模型 ,实现软硬件模拟器的信息交互 重点讨论指令集模拟器、总线功能模型以及硬件模拟器协同模拟接口的设计与实现方法 。
展开更多
关键词
协同
模拟
指令
集
模拟
器
事件驱动硬件
模拟
器
协调设计
ISS
嵌入式系统
硬件
软件
在线阅读
下载PDF
职称材料
ECC专用指令处理器软硬件协同设计
被引量:
2
15
作者
徐劲松
王志新
严迎建
《计算机工程与设计》
CSCD
北大核心
2012年第3期916-920,共5页
提出了一种专用指令处理器的软硬件协同设计方法,该方法可以在设计的早期阶段对处理器进行系统探索和验证。根据椭圆曲线密码算法的特点,并按照专用指令处理器的设计原则,以椭圆曲线密码运算基本操作及运算存储特性为基础,设计了超长指...
提出了一种专用指令处理器的软硬件协同设计方法,该方法可以在设计的早期阶段对处理器进行系统探索和验证。根据椭圆曲线密码算法的特点,并按照专用指令处理器的设计原则,以椭圆曲线密码运算基本操作及运算存储特性为基础,设计了超长指令字ECC专用指令处理器的指令集结构模型。根据处理器的指令集结构模型,以指令模拟器为基础,搭建了处理器的软硬件协同验证平台,从系统设计、RTL描述和FPGA硬件原型3个不同层次对处理器进行了验证。
展开更多
关键词
椭圆曲线密码体制
专用
指令
集处理器
指令
集体系结构
指令
集
模拟
器
软硬件协同设计
在线阅读
下载PDF
职称材料
软硬件协同模拟的通信同步算法设计与实现
被引量:
1
16
作者
严迎建
刘明业
《计算机工程与应用》
CSCD
北大核心
2003年第19期59-61,232,共4页
协同模拟技术是嵌入式系统软硬件协调设计的关键技术之一,它在整个设计过程中对系统起着功能验证和性能预测的作用。采用指令集模拟和硬件事件驱动模拟器相结合的协同模拟技术是一种高效的、低代价的嵌入式系统协同验证方案,但解决指令...
协同模拟技术是嵌入式系统软硬件协调设计的关键技术之一,它在整个设计过程中对系统起着功能验证和性能预测的作用。采用指令集模拟和硬件事件驱动模拟器相结合的协同模拟技术是一种高效的、低代价的嵌入式系统协同验证方案,但解决指令集模拟器和硬件模拟器之间的同步问题是保证协同模拟正确性和提高模拟效率的关键。文章介绍了一种基于Windowssockets和Lock-step的协同模拟通信同步算法,最后介绍了几种降低通信开销,提高协同模拟效率的方法。
展开更多
关键词
嵌入式系统
协同
模拟
指令
集
模拟
器
在线阅读
下载PDF
职称材料
多处理器嵌入式系统的软/硬件协同模拟验证方法
被引量:
1
17
作者
严迎建
徐金甫
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第2期216-218,共3页
介绍一种软硬件协同模拟验证方法,该方法以指令集模拟器和事件驱动硬件模拟器为基本框架,透明地将多个不同类型的指令集模拟器和硬件模拟器连接起来,实现面向混合多处理器嵌入式系统的软硬件协同模拟验证。介绍了多处理器间通信机制的...
介绍一种软硬件协同模拟验证方法,该方法以指令集模拟器和事件驱动硬件模拟器为基本框架,透明地将多个不同类型的指令集模拟器和硬件模拟器连接起来,实现面向混合多处理器嵌入式系统的软硬件协同模拟验证。介绍了多处理器间通信机制的模拟实现及优化方法,重点讨论了以硬件模拟器为控制核心的协同模拟同步方法。
展开更多
关键词
多处理器
协同
模拟
软硬件
嵌入式系统
指令
集
模拟
器
事件驱动
验证方法
同步方法
通信机制
连接
在线阅读
下载PDF
职称材料
基于指令分解的微处理器验证与RTL级错误定位
18
作者
沈胜宇
李思昆
《计算机工程与科学》
CSCD
2005年第5期97-100,共4页
本文提出并实现了一种新的基于指令分解的微处理器验证与RTL级错误定位方法。该方法从指令集模拟器的模拟结果中将指令分解为功能单元上的操作序列,并且输入和输出数据。将该结果与RTL模型的模拟结果比较,使RTL级错误定位精确到功能单...
本文提出并实现了一种新的基于指令分解的微处理器验证与RTL级错误定位方法。该方法从指令集模拟器的模拟结果中将指令分解为功能单元上的操作序列,并且输入和输出数据。将该结果与RTL模型的模拟结果比较,使RTL级错误定位精确到功能单元级。相对于传统的方法,大大提高了效率。
展开更多
关键词
微处理器
指令
分解
动态
模拟
控制电路
指令
集
模拟
器
RTL级错误定位方法
在线阅读
下载PDF
职称材料
ARM程序执行周期估计的基于模拟的非线性方法
被引量:
3
19
作者
孔亮亮
江建慧
+1 位作者
肖杰
蒋园园
《计算机研究与发展》
EI
CSCD
北大核心
2012年第2期392-401,共10页
为了快速而准确地估计ARM处理器上的程序执行时间,研究了基于模拟的非线性程序执行时间估计器的结构.它由程序功能剖面生成模块和程序执行时间预测模块串联而成.程序功能剖面生成模块直接用精确指令模拟器Sim-profile实现;而基于程序执...
为了快速而准确地估计ARM处理器上的程序执行时间,研究了基于模拟的非线性程序执行时间估计器的结构.它由程序功能剖面生成模块和程序执行时间预测模块串联而成.程序功能剖面生成模块直接用精确指令模拟器Sim-profile实现;而基于程序执行中的动态指令数与执行时间在处理器上的非线性关系,对于程序执行时间预测模块的实现,首先设计了一种人工神经网络方案,再根据对人工神经网络局限性的判断,如局部最优问题、不适于解决小样本的回归、网络拓扑结构依赖先验知识等缺点,又提出了基于最小二乘支持向量机的方法.实验证明,这些非线性方法,特别是基于最小二乘支持向量机的方法,可以用较低的模拟代价获得较高的程序执行时间估计精度.
展开更多
关键词
程序执行周期估计
ARM处理器
人工神经网络
最小二乘支持向量机
指令
集
模拟
在线阅读
下载PDF
职称材料
层次总线型多核SoC结构系统级模拟
被引量:
1
20
作者
翁启源
杨洪斌
吴悦
《计算机工程与设计》
CSCD
北大核心
2009年第23期5355-5357,5368,共4页
随着半导体工艺技术的发展,在SoC中实现多个处理器内核成为可能。提出一种同构的层次总线型多核SoC芯片的结构,建立了这种结构系统级模型。基于模型实现了单程序多数据(SPMD)并行程序,以不同数目处理器核数仿真执行了并行程序,得到了比...
随着半导体工艺技术的发展,在SoC中实现多个处理器内核成为可能。提出一种同构的层次总线型多核SoC芯片的结构,建立了这种结构系统级模型。基于模型实现了单程序多数据(SPMD)并行程序,以不同数目处理器核数仿真执行了并行程序,得到了比较好的性能加速比,充分体现了这种层次总线型多核SoC结构的可行性和性能的优越性。
展开更多
关键词
多核系统芯片(MPSoC)
层次总线
指令
集
模拟
器
仿真验证
单程序多数据
在线阅读
下载PDF
职称材料
题名
指令模拟的应用和特点
1
作者
瞿国平
王宇心
杜红燕
机构
国防科技大学计算机系
出处
《计算机工程与科学》
CSCD
1996年第1期80-84,7,共6页
文摘
本文论述了指令模拟在软件研制和其它领域中的应用及特点。
关键词
靶机
指令模拟
模拟
器
Keywords
architecture test
symbolic test
target machine.
分类号
V279.1 [航空宇航科学与技术—飞行器设计]
在线阅读
下载PDF
职称材料
题名
基于指令集模拟器的处理器建模与验证
被引量:
7
2
作者
严迎建
徐劲松
陈韬
刘军伟
机构
解放军信息工程大学电子技术学院
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第5期248-250,共3页
基金
国家部委基础预研基金资助项目
文摘
介绍处理器仿真建模技术以及指令集模拟器在其中的应用,讨论处理器ISA,MA模型建立以及指令精确、时钟精确的指令集模拟器实现方法,提出一种基于多线程技术的调试器集成方法,介绍指令集模拟器在一款密码专用微处理器开发过程中的具体应用方法。
关键词
指令
集
模拟
器
处理器建模
指令
精确
时钟精确
流水线处理器
Keywords
Instruction Set Simulator(ISS)
processor modeling
instruction accurate
cycle accurate
pipeline processor
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
可重用的指令集模拟器的设计与优化技术
被引量:
2
3
作者
韩小琨
蒋烈辉
尹青
陈亮
周博
机构
解放军信息工程大学信息工程学院
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第7期61-63,共3页
基金
国家"863"计划基金资助项目(2006AA01Z409)
文摘
指令集模拟器是进行体系结构设计与评估及软件逆向工程开发的有利工具。该文采用解释型模拟策略,阐述可重用的指令集模拟器的实现方法。在此基础上,提出一种基于虚拟指令集的模拟技术,使之能够应用于多款处理器,同时论述了几种提高模拟效率的优化技术。
关键词
指令
集
模拟
器
虚拟
指令
集
解释型
模拟
模拟
策略
Keywords
instruction set simulator
virtual instruction set
interpretative simulation
simulation strategy
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
ARMv4指令集模拟器设计及优化技术
被引量:
6
4
作者
严迎建
刘明业
机构
北京理工大学ASIC研究所
出处
《小型微型计算机系统》
CSCD
北大核心
2005年第2期315-317,共3页
基金
国防基础科研项目 (J14 0 0 B0 0 6)资助 .
文摘
指令集模拟器是处理器、编译器以及嵌入式系统设计中的重要工具之一 .首先讨论指令集模拟器的分类及特点 ,然后阐述作者采用解释技术开发的 ARMv4指令集模拟器的实现方法 ,为了提高模拟效率 ,还讨论几种性能优化技术 .
关键词
指令
集
模拟
器
解释型
模拟
编译型
模拟
嵌入式系统
Keywords
instruction set simulator
interpretative simulation
compiled simulation
embedded system
分类号
TP335 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
MIPS64指令集模拟器的建模与实现方法
被引量:
2
5
作者
蔡启先
刘明
余祖峰
机构
广西工学院计算机工程系
广西工学院电子信息与控制工程系
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第18期245-246,252,共3页
基金
广西教育厅科技基金资助项目(200708LX183)
文摘
用软件编程的方法介绍一个与MIPS32/64指令集兼容的指令集模拟器的建模与实现过程。该方案用C++来描述处理器的硬件行为,通过在编译时选择不同的选项分别实现对MIPS32和MIPS64指令集构架的嵌入式处理器的模拟,实现除浮点数以外的所有指令的译码和执行。该方案的主要好处是代码可重用,指令扩展性能好,可以同时兼容MIPS32和MIPS64指令集的模拟。
关键词
MIPS64
指令
集
指令
集
模拟
器
指令
集构架
Keywords
MIPS64 instruction set
instruction set simulator
instruction set architecture
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
采用动态译码缓存的高速指令集模拟器
被引量:
4
6
作者
桑胜田
王进祥
赵新曙
机构
哈尔滨工业大学微电子中心
[
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第18期248-250,共3页
文摘
指令集模拟器是计算机体系结构研究和SoC软硬件协同设计的重要工具,模拟器的性能和灵活性是影响设计和验证效率的重要因素。解释型指令集模拟器具有很好的灵活性,在操作系统等涉及到自修改代码的模拟中具有不可替代的作用。该文给出了一个高性能解释型指令集模拟器的设计,它具有很高的模拟精度和很好的灵活性;同时指令集模拟器采用了动态译码缓存等优化技术,使其具有很高的模拟性能。以ARM7指令集模拟器为实例,所提出的优化技术同样适用于其它现代RISC体系结构。
关键词
指令
集
模拟
器
动态译码缓存
软硬件协同设计
Keywords
Instruction set simulator
Dynamic decode cache
HW/SW co-design
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
MIPS64指令集模拟器动态编译技术研究
7
作者
蔡启先
郭森
王智文
机构
广西工学院计算机工程系
广西工学院电子信息与控制工程系
出处
《计算机工程与应用》
CSCD
2012年第29期42-45,161,共5页
基金
广西自然科学基金(No.2011GXNSFA018162)
文摘
嵌入式开发对指令集模拟器模拟速度的要求越来越高。提出了一种新的细化的动态翻译技术,基本思路是指令集的每条指令被翻译成一条语义函数,通过特定的指针指向符合条件的语义函数,这样,即使执行条件发生改变时也能调用上次编译的结果,从而使模拟速度显著提高,MIPS64指令集模拟器的测试结果给以了验证。
关键词
指令
集
模拟
器
细化的动态编译模式
MIPS64
Keywords
Instruction Set Simulator(ISS)
special dynamic compiled mode
MIPS64
分类号
TP337 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
快速SPARC V7指令集模拟器的设计方法
被引量:
3
8
作者
关小川
陈朝晖
党纪红
机构
北京控制工程研究所
出处
《计算机工程与设计》
CSCD
北大核心
2011年第2期531-534,共4页
基金
国家自然科学基金项目(90818024)
文摘
为提高解释型指令集模拟器的速度,研究了模拟器设计的译码分派技术及其优化方法,针对模拟器运行时译码阶段开销较大和执行阶段需要本地机器指令较多等特点,提出用预译码技术和优化线索解释技术相结合的方式,提升模拟器的速度。通过设计一个基于SPARC V7指令集模拟器,结合实例对3种模拟器性能进行比较分析,实验结果表明了该方法的可行性和有效性。
关键词
模拟
器
指令
集
模拟
预译码
线索解释
译码分派
Keywords
simulator
instruction setsimulation
pre-decode
threaded code
decode-and-dispatch
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
一种DSP处理器内核的指令级模拟器
9
作者
刘振尧
戴麟
机构
东南大学国家专用集成电路系统工程技术研究中心
出处
《现代电子技术》
2007年第6期29-30,34,共3页
文摘
在DSP内核的设计、开发过程中,指令级模拟器可用于汇编程序仿真、调试,有利于加快芯片开发进度。介绍了一种由作者设计的基于MFC语言,设计面向对象操作界面的DSP内核指令级模拟器,具体地对指令的分析判断由Lex和yacc实现,可以直观表现出汇编程序运行之后各个寄存器和内存镜像,支持单步和断点调试。
关键词
指令
级
模拟
器
DSP
汇编程序
内核
Keywords
instruction - level simulator DSP assembler core
分类号
TN492 [电子电信—微电子学与固体电子学]
在线阅读
下载PDF
职称材料
题名
一个可扩展的RISC机指令摸拟器
被引量:
1
10
作者
张韧
机构
上海交通大学计算机系
出处
《计算机工程与应用》
CSCD
北大核心
1989年第5期10-11,9,共3页
文摘
本文介绍我在研制3J1 RISC机芯片时所设计的指令集模拟器,这个模拟器能模拟和检验指令集设计的合理性及RISC机体系结构与其指令集的合理性和协调性,并能进一步方便地扩展至寄存器级模拟,也可再下到混合级模拟。在针对RISC机研制模拟器时须体现RISC特性,与CISC是有所不同的。本文试图就研。制过程中的某些问题给出处理方式和方法。最后还将说明,3J1 RISC机指令模拟器虽是在3J—RISC机研制过程中产生的,但不仅适于此机。
关键词
RISC机
指令模拟
器
计算机
分类号
TP3 [自动化与计算机技术—计算机科学与技术]
在线阅读
下载PDF
职称材料
题名
虚拟指令集的构建及翻译技术研究
被引量:
2
11
作者
谢耀滨
蒋烈辉
尹青
张媛媛
朱杰
机构
解放军信息工程大学信息工程学院
出处
《计算机工程与设计》
CSCD
北大核心
2007年第14期3489-3491,3538,共4页
基金
国家863高技术研究发展计划基金项目(2006AA01Z409)
文摘
利用虚拟指令作为中间语言来构建可重用指令集模拟器是解决模拟器可重用性的重要技术。介绍了可重用指令集模拟器的工作原理,提出了虚拟指令的构建原则和方法,描述了对汇编指令的语义规则,最后举例说明如何从汇编指令的语义描述规则出发,生成与目标指令语义等价的虚拟指令。
关键词
指令
集
模拟
虚拟
指令
语义描述
语义等价
指令
翻译
Keywords
instruction-set simulation
virtual instruction
semantic description
semantic equivalence
instruction translation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
嵌入式系统软硬件协同模拟验证环境设计与实现
被引量:
4
12
作者
严迎建
王世好
刘明业
机构
北京理工大学ASIC研究所
军信息工程大学电子技术学院
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第9期45-47,共3页
基金
国防基础科研基金资助项目
用微电子资助项目
文摘
介绍了一个嵌入式系统软硬件协同模拟验证环境,该环境以指令集模拟器和事件驱动硬件模拟器为基本框架,并由总线调度模型和总线界面模型提供软硬件模拟交互界面。重点讨论该环境中软硬件模拟器之间的接口设计与实现方法,最后给出一个嵌入式系统协同验证的应用实例。
关键词
嵌入式系统
协同验证
软硬件协同
模拟
指令
集
模拟
器
Keywords
Embedded system
Co-verification
Co-simulation
Instruction set simulator
分类号
TP337 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
面向专用指令集处理器设计的软硬件协同验证
被引量:
2
13
作者
严迎建
杨志峰
任方
机构
解放军信息工程大学电子技术学院
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第6期241-243,共3页
基金
国家"863"计划基金资助项目(2008AA01Z0103)
文摘
为提高专用指令集处理器设计中的验证效率和覆盖率,将专用指令集处理器的寄存器传输级设计验证与汇编器、指令集模拟器等软件开发工具的测试相结合,提出一种软硬件协同验证方法。该方法按照覆盖率要求由软件自动产生测试程序和数据,将利用汇编器产生的机器指令输入到指令集模拟器和硬件仿真工具分别进行软硬件仿真,通过软硬件仿真结果自动比对得出联合验证结果。实践证明,该方法能够有效提高验证效率和覆盖率,缩短验证周期。
关键词
专用
指令
集处理器
硬件仿真
指令
集
模拟
器
软硬件协同验证
Keywords
Application Specific Instruction Set Processor(ASIP)
hardware simulation
Instruction Set Simulator(ISS)
software-hardware co-verification
分类号
TP302 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于ISS和硬件模拟器的协同模拟关键技术研究
被引量:
3
14
作者
严迎建
刘明业
机构
北京理工大学ASIC研究所
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2004年第4期397-401,共5页
基金
国防基础科研项目
军用微电子项目资助
文摘
提出一种在嵌入式系统软硬件协调设计中对系统功能进行验证的软硬件协同模拟方法 该方法使用指令集模拟器 (ISS)和事件驱动硬件模拟器分别完成软硬件的模拟 ,并采用C ++语言构造处理器的总线功能模型 ,实现软硬件模拟器的信息交互 重点讨论指令集模拟器、总线功能模型以及硬件模拟器协同模拟接口的设计与实现方法 。
关键词
协同
模拟
指令
集
模拟
器
事件驱动硬件
模拟
器
协调设计
ISS
嵌入式系统
硬件
软件
Keywords
co-simulation
instruction set simulator
event-driven hardware simulator
co-design
分类号
TP337 [自动化与计算机技术—计算机系统结构]
TP302 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
ECC专用指令处理器软硬件协同设计
被引量:
2
15
作者
徐劲松
王志新
严迎建
机构
解放军信息工程大学电子技术学院
出处
《计算机工程与设计》
CSCD
北大核心
2012年第3期916-920,共5页
文摘
提出了一种专用指令处理器的软硬件协同设计方法,该方法可以在设计的早期阶段对处理器进行系统探索和验证。根据椭圆曲线密码算法的特点,并按照专用指令处理器的设计原则,以椭圆曲线密码运算基本操作及运算存储特性为基础,设计了超长指令字ECC专用指令处理器的指令集结构模型。根据处理器的指令集结构模型,以指令模拟器为基础,搭建了处理器的软硬件协同验证平台,从系统设计、RTL描述和FPGA硬件原型3个不同层次对处理器进行了验证。
关键词
椭圆曲线密码体制
专用
指令
集处理器
指令
集体系结构
指令
集
模拟
器
软硬件协同设计
Keywords
ECC ASIP ISA ISS HW/SW co-design
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
软硬件协同模拟的通信同步算法设计与实现
被引量:
1
16
作者
严迎建
刘明业
机构
北京理工大学ASIC研究所
出处
《计算机工程与应用》
CSCD
北大核心
2003年第19期59-61,232,共4页
基金
部委基础科研项目资助
军用微电子项目资助
文摘
协同模拟技术是嵌入式系统软硬件协调设计的关键技术之一,它在整个设计过程中对系统起着功能验证和性能预测的作用。采用指令集模拟和硬件事件驱动模拟器相结合的协同模拟技术是一种高效的、低代价的嵌入式系统协同验证方案,但解决指令集模拟器和硬件模拟器之间的同步问题是保证协同模拟正确性和提高模拟效率的关键。文章介绍了一种基于Windowssockets和Lock-step的协同模拟通信同步算法,最后介绍了几种降低通信开销,提高协同模拟效率的方法。
关键词
嵌入式系统
协同
模拟
指令
集
模拟
器
Keywords
Embedded System,Co-Simulation,Instruction Set Simulator(ISS)
分类号
TP302.1 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
多处理器嵌入式系统的软/硬件协同模拟验证方法
被引量:
1
17
作者
严迎建
徐金甫
机构
解放军信息工程大学电子技术学院
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第2期216-218,共3页
基金
国防基础科研基金资助项目
文摘
介绍一种软硬件协同模拟验证方法,该方法以指令集模拟器和事件驱动硬件模拟器为基本框架,透明地将多个不同类型的指令集模拟器和硬件模拟器连接起来,实现面向混合多处理器嵌入式系统的软硬件协同模拟验证。介绍了多处理器间通信机制的模拟实现及优化方法,重点讨论了以硬件模拟器为控制核心的协同模拟同步方法。
关键词
多处理器
协同
模拟
软硬件
嵌入式系统
指令
集
模拟
器
事件驱动
验证方法
同步方法
通信机制
连接
Keywords
Embedded system
Multi-processor
Co-simulation
Instruction set simulator
分类号
TP302.1 [自动化与计算机技术—计算机系统结构]
TN248.4 [电子电信—物理电子学]
在线阅读
下载PDF
职称材料
题名
基于指令分解的微处理器验证与RTL级错误定位
18
作者
沈胜宇
李思昆
机构
国防科技大学计算机学院
出处
《计算机工程与科学》
CSCD
2005年第5期97-100,共4页
基金
国家自然科学基金资助项目(90207019)国家863计划资助项目(2002AA1Z1480)
文摘
本文提出并实现了一种新的基于指令分解的微处理器验证与RTL级错误定位方法。该方法从指令集模拟器的模拟结果中将指令分解为功能单元上的操作序列,并且输入和输出数据。将该结果与RTL模型的模拟结果比较,使RTL级错误定位精确到功能单元级。相对于传统的方法,大大提高了效率。
关键词
微处理器
指令
分解
动态
模拟
控制电路
指令
集
模拟
器
RTL级错误定位方法
Keywords
microprocessor verification
RTL bug locating
instruction decomposition
dynamic simulation
分类号
TP332 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
ARM程序执行周期估计的基于模拟的非线性方法
被引量:
3
19
作者
孔亮亮
江建慧
肖杰
蒋园园
机构
同济大学计算机科学与技术系
出处
《计算机研究与发展》
EI
CSCD
北大核心
2012年第2期392-401,共10页
基金
国家"八六三"高技术研究发展计划基金项目(2007AA01Z142
2009AA011705)
国家自然科学基金项目(60903033)
文摘
为了快速而准确地估计ARM处理器上的程序执行时间,研究了基于模拟的非线性程序执行时间估计器的结构.它由程序功能剖面生成模块和程序执行时间预测模块串联而成.程序功能剖面生成模块直接用精确指令模拟器Sim-profile实现;而基于程序执行中的动态指令数与执行时间在处理器上的非线性关系,对于程序执行时间预测模块的实现,首先设计了一种人工神经网络方案,再根据对人工神经网络局限性的判断,如局部最优问题、不适于解决小样本的回归、网络拓扑结构依赖先验知识等缺点,又提出了基于最小二乘支持向量机的方法.实验证明,这些非线性方法,特别是基于最小二乘支持向量机的方法,可以用较低的模拟代价获得较高的程序执行时间估计精度.
关键词
程序执行周期估计
ARM处理器
人工神经网络
最小二乘支持向量机
指令
集
模拟
Keywords
estimation of program execution cycles
ARM processor
artificial neural network
least squares support vector machine
instruction set simulation
分类号
TP302 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
层次总线型多核SoC结构系统级模拟
被引量:
1
20
作者
翁启源
杨洪斌
吴悦
机构
上海大学计算机工程与科学学院
出处
《计算机工程与设计》
CSCD
北大核心
2009年第23期5355-5357,5368,共4页
基金
上海市重点学科建设基金项目(J50103)
文摘
随着半导体工艺技术的发展,在SoC中实现多个处理器内核成为可能。提出一种同构的层次总线型多核SoC芯片的结构,建立了这种结构系统级模型。基于模型实现了单程序多数据(SPMD)并行程序,以不同数目处理器核数仿真执行了并行程序,得到了比较好的性能加速比,充分体现了这种层次总线型多核SoC结构的可行性和性能的优越性。
关键词
多核系统芯片(MPSoC)
层次总线
指令
集
模拟
器
仿真验证
单程序多数据
Keywords
multi-processor SoC(MPSoC)
hierarchical bus
instruction set simulator
simulation and verification
single program multi-data
分类号
TP302 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
指令模拟的应用和特点
瞿国平
王宇心
杜红燕
《计算机工程与科学》
CSCD
1996
0
在线阅读
下载PDF
职称材料
2
基于指令集模拟器的处理器建模与验证
严迎建
徐劲松
陈韬
刘军伟
《计算机工程》
CAS
CSCD
北大核心
2008
7
在线阅读
下载PDF
职称材料
3
可重用的指令集模拟器的设计与优化技术
韩小琨
蒋烈辉
尹青
陈亮
周博
《计算机工程》
CAS
CSCD
北大核心
2008
2
在线阅读
下载PDF
职称材料
4
ARMv4指令集模拟器设计及优化技术
严迎建
刘明业
《小型微型计算机系统》
CSCD
北大核心
2005
6
在线阅读
下载PDF
职称材料
5
MIPS64指令集模拟器的建模与实现方法
蔡启先
刘明
余祖峰
《计算机工程》
CAS
CSCD
北大核心
2010
2
在线阅读
下载PDF
职称材料
6
采用动态译码缓存的高速指令集模拟器
桑胜田
王进祥
赵新曙
《计算机工程》
EI
CAS
CSCD
北大核心
2006
4
在线阅读
下载PDF
职称材料
7
MIPS64指令集模拟器动态编译技术研究
蔡启先
郭森
王智文
《计算机工程与应用》
CSCD
2012
0
在线阅读
下载PDF
职称材料
8
快速SPARC V7指令集模拟器的设计方法
关小川
陈朝晖
党纪红
《计算机工程与设计》
CSCD
北大核心
2011
3
在线阅读
下载PDF
职称材料
9
一种DSP处理器内核的指令级模拟器
刘振尧
戴麟
《现代电子技术》
2007
0
在线阅读
下载PDF
职称材料
10
一个可扩展的RISC机指令摸拟器
张韧
《计算机工程与应用》
CSCD
北大核心
1989
1
在线阅读
下载PDF
职称材料
11
虚拟指令集的构建及翻译技术研究
谢耀滨
蒋烈辉
尹青
张媛媛
朱杰
《计算机工程与设计》
CSCD
北大核心
2007
2
在线阅读
下载PDF
职称材料
12
嵌入式系统软硬件协同模拟验证环境设计与实现
严迎建
王世好
刘明业
《计算机工程》
CAS
CSCD
北大核心
2004
4
在线阅读
下载PDF
职称材料
13
面向专用指令集处理器设计的软硬件协同验证
严迎建
杨志峰
任方
《计算机工程》
CAS
CSCD
北大核心
2010
2
在线阅读
下载PDF
职称材料
14
基于ISS和硬件模拟器的协同模拟关键技术研究
严迎建
刘明业
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2004
3
在线阅读
下载PDF
职称材料
15
ECC专用指令处理器软硬件协同设计
徐劲松
王志新
严迎建
《计算机工程与设计》
CSCD
北大核心
2012
2
在线阅读
下载PDF
职称材料
16
软硬件协同模拟的通信同步算法设计与实现
严迎建
刘明业
《计算机工程与应用》
CSCD
北大核心
2003
1
在线阅读
下载PDF
职称材料
17
多处理器嵌入式系统的软/硬件协同模拟验证方法
严迎建
徐金甫
《计算机工程》
EI
CAS
CSCD
北大核心
2005
1
在线阅读
下载PDF
职称材料
18
基于指令分解的微处理器验证与RTL级错误定位
沈胜宇
李思昆
《计算机工程与科学》
CSCD
2005
0
在线阅读
下载PDF
职称材料
19
ARM程序执行周期估计的基于模拟的非线性方法
孔亮亮
江建慧
肖杰
蒋园园
《计算机研究与发展》
EI
CSCD
北大核心
2012
3
在线阅读
下载PDF
职称材料
20
层次总线型多核SoC结构系统级模拟
翁启源
杨洪斌
吴悦
《计算机工程与设计》
CSCD
北大核心
2009
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部