-
题名基于指令模板的通用处理器约束随机指令生成方法
被引量：3
- 1
-
-
作者
刘婧
王天成
王健
李华伟
-
机构
湘潭大学信息工程学院
中国科学院计算技术研究所计算机体系结构国家重点实验室
中国科学院大学
-
出处
《计算机工程》
CAS
CSCD
北大核心
2015年第10期309-313,共5页
-
基金
国家自然科学基金资助项目(61176040)
-
文摘
随着集成电路设计的复杂度越来越高,功能验证成为设计流程中的瓶颈。而通用处理器是集成电路中功能最为复杂的设计之一,对其功能验证提出更高要求。为此,给出一种约束随机指令生成方法,对ARMv8处理器进行模拟验证。从指令集中提取指令模板,用指令模板生成合法的ARMv8指令,通过调整约束支持各种功能场景的验证。基于结果自动比对的验证环境,对处理器进行充分验证,发现58处设计错误,可用在后续的FPGA硬件仿真中。验证结果表明,该方法可得到90%的结构覆盖率。
-
关键词
功能验证
通用处理器
指令模板
指令生成
约束随机指令
-
Keywords
functional verification
general processor
instruction template
instruction generation
constraint random instruction
-
分类号
TP031.6
[自动化与计算机技术]
-
-
题名面向申威平台的SIMD编程接口设计与研究
- 2
-
-
作者
姜军
顾晓阳
徐坤坤
吕勇帅
黄亮明
-
机构
无锡先进技术研究院
-
出处
《计算机科学》
北大核心
2025年第6期66-73,共8页
-
文摘
在国产申威处理器中,申威GCC编译器在对程序进行向量化时,使用自动向量化和内嵌汇编的方式很难对某些复杂的程序进行向量化,阻碍了国产申威处理器的性能发挥。针对部分程序不能向量化的问题,在申威GCC编译器中进行SIMD编程接口的设计与研究。在申威向量指令的基础上,通过在申威GCC编译器中添加向量机器模式和向量数据类型,编译器可以对向量参数类型进行识别。根据向量指令的类型和复杂度,分别使用内建函数扩展、操作符扩展和高级语言扩展3种方式实现SIMD编程接口函数。在后端添加不同的指令模板,使接口函数可以匹配相应的指令模板,生成对应向量指令的汇编代码。通过对FFTW库和Hyperscan库进行测试和分析,相比优化前的程序,使用SIMD编程接口进行向量化后,FFTW中Double类和Float类型程序的平均加速比分别为1.97和2.13,Hyperscan的平均加速比为2.94。
-
关键词
向量化
SIMD编程接口
向量指令
内建函数
指令模板
-
Keywords
Vectorization
SIMD programming interface
Vector instruction
Instrinsic function
Instruction template
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名指令分层过滤体系在通用CPU模拟器设计中的应用
被引量：1
- 3
-
-
作者
乔亚男
王换招
方舟
-
机构
西安交通大学计算机系
-
出处
《计算机工程与应用》
CSCD
北大核心
2005年第3期119-121,共3页
-
文摘
该文提出了一种新的指令集模板格式----指令分层过滤体系,解决了传统指令集模板格式适用面较窄以及特殊情况下效率较低的问题,并使用该方法设计了一个可定制的通用CPU模拟器GSim。
-
关键词
模拟器
指令集
硬件描述
指令集模板
指令分层过滤体系
-
Keywords
simulator,instruction set,hardware description,instruction set template,Instructions Layered Filtrating System
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名微处理器体系结构级测试程序自动生成技术
被引量：7
- 4
-
-
作者
朱丹
李暾
郭阳
李思昆
-
机构
国防科学技术大学计算机学院
-
出处
《软件学报》
EI
CSCD
北大核心
2005年第12期2172-2180,共9页
-
基金
国家自然科学基金~~
-
文摘
提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统——MA2TG(microprocessorarchitecturalautomatictestprogramgenerator).该系统不仅可以随机生成测试程序,最主要的是可以产生针对特定要求的测试程序.其优点在于:首先,通过体系结构语言描述简化了体系结构建模,方便了对目标处理器体系结构的探索;第二,利用比较成熟的约束求解技术来生成满足需求的测试程序;第三,极大地缩减了测试程序的大小以及微处理器的验证时间.MA2TG已应用于DLX处理器和自主开发的EStar嵌入式微处理器的验证.实验结果表明了此方法的有效性.
-
关键词
体系结构描述语言
约束满足问题
指令模板库
测试程序生成
-
Keywords
architecture description language
CSP
ITL
test program generation
-
分类号
TP302
[自动化与计算机技术—计算机系统结构]
-
-
题名支持通用反汇编的处理器结构库设计与实现
被引量：2
- 5
-
-
作者
蒋烈辉
张媛媛
刘铁铭
吴金波
-
机构
信息工程大学信息工程学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2006年第3期500-503,共4页
-
文摘
为了实现对多种不同型号的MCU、MPU和DSP的通用反汇编,通过分析汇编指令一般表达式与机器指令一般格式之间的关系,提出了一个能以统一格式表示多种不同型号处理器指令系统的通用指令模板。以此模板为基础,实现了一套可以全面管理处理器结构库的管理软件,为通用反汇编提供了可靠的依据和基础,而且大大缩短了处理器结构信息的录入时间。
-
关键词
指令模板
通用
反汇编
处理器结构库
管理软件
-
Keywords
instruction template
generic
disassembly
processor structure database
management software
-
分类号
TP368
[自动化与计算机技术—计算机系统结构]
-
-
题名GCC编译器后端移植技术
被引量：4
- 6
-
-
作者
吕鹏伟
袁成军
贺骊
-
机构
西安微电子技术研究所
-
出处
《现代电子技术》
2012年第6期39-42,共4页
-
文摘
从GCC编译器的体系结构出发,提出了GCC前后端分离的结构以适合移植到不同的硬件平台,分析了GCC后端移植的关键技术。重点阐述后端移植所必须的文件,并详细说明这些文件的作用,给出了RTL中间语言的语法结构以及典型指令的RTL指令模板结构。最后通过一个实例对移植到新硬件体系结构的GCC进行测试,结果表明针对特定的硬件体系结构,GCC后端移植技术是可行的,能够产生正确的汇编语言代码。
-
关键词
RTL中间语言
指令模板
机器描述MD
后端移植
-
Keywords
RTL intermediate language
instruction template
MD
GCC rear-end porting
-
分类号
TN919-34
[电子电信—通信与信息系统]
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名微处理器硬件木马及其检测挑战
- 7
-
-
作者
张阳
全厚德
李雄伟
陈开颜
-
机构
军械工程学院信息工程系
-
出处
《火力与指挥控制》
CSCD
北大核心
2018年第8期129-133,共5页
-
基金
国家青年科学基金(61602505)
国家自然科学基金资助项目(61271152
51377170)
-
文摘
微处理器是控制系统运行的核心芯片,受到了硬件木马的严重威胁。针对典型微处理器硬件木马进行了分析,根据微处理器的组成结构及其硬件木马的激活方式进行了分类,对现有旁路检测技术进行了系统总结,分析了微处理器硬件木马对旁路检测所提出的挑战,从指令模板分析、电磁与功耗联合分析、差分旁路信号采集等方面进行了应对展望。
-
关键词
微处理器
硬件木马
组成结构
旁路分析
指令模板
-
Keywords
processor
hardware trojan
architecture
side channel analysis
instruction template
-
分类号
TN309.1
[电子电信—物理电子学]
-
-
题名高分三号卫星自主任务规划设计与在轨验证
被引量：11
- 8
-
-
作者
张驰
刘杰
王振兴
赵元清
-
机构
北京空间飞行器总体设计部
-
出处
《航天器工程》
CSCD
北大核心
2017年第6期29-33,共5页
-
基金
国家重大科技专项工程
-
文摘
对高分三号(GF-3)卫星的工作模式以及地面操作指令形式进行介绍,在此基础上设计了自主任务规划,提出单次记录、单天线单站边记边放、单天线双站边记边放等9种自主任务规划编排指令模板。自主任务规划设计在GF-3卫星常规执行任务中的应用结果表明:设计合理、操作便捷,能有效地提高GF-3卫星的好用易用性,可为后续SAR卫星设计提供参考。
-
关键词
高分三号卫星
自主任务规划
指令模板
-
Keywords
GF-3 satellite
task self-arrangement
command templates generated
-
分类号
V474.2
[航空宇航科学与技术—飞行器设计]
-
