目录
12、NEMU中的DiffTest(Differential Testing,差异测试)
1、术语和定义
- 计算机(状态机模型视角):
- 计算机根据当前时序逻辑部件(存储器、计数器、寄存器等)的状态,在组合逻辑部件(加法器等)的作用下,计算并转移到下一时钟周期的新状态
- 程序运行过程:每执行完一条指令,进行一次确定的状态转移
- 指令:计算机进行一次状态转移的输入激励
术语 |
全称 |
定义 |
ISA |
Instruction Set Architecture |
指令集架构,又称指令集或指令集体系,是计算机体系结构中与程序设计有关的部分,包含了基本数据类型,指令集,寄存器,寻址模式,存储体系,中断,异常处理以及外部I/O |
MIPS |
Microprocessor without Interlocked Pipeline Stages |
MIPS指令集,指令长度为32位,有32个寄存器,运算只能存在于寄存器之间 (1)R型指令:op + rs + rt + rd + shamt + funct rs/rt是源操作数所在寄存器号,rd是目标操作数所在寄存器号,shamt是位移量,funct是功能 (2)I型指令:op + rs + rt + constant or address rs是源操作数,rt是目标操作数所在寄存器号,constant or address是第二个源操作数 (3)J型指令:op + address address是转移地址(26位) |
CISC |
Complex Instruction Set Computer |
复杂指令系统计算机,采用复杂指令实现软件功能的硬化。如x86架构 |
RISC |
Reduced Instruction Set Computer |
精简指令系统计算机,简化单条指令功能,复杂指令的功能由简单指令的组合来实现。尽量使用寄存器-寄存器操作指令,指令格式力求一致。如ARM、MIPS架构 |
riscv |
RISC-V |
第五代精简指令集,开放指令生态 |
x86 |
Intel x86 Architecture |
含有8个32位通用寄存器 |
TRM |
TuRing Machine |
图灵机,有存储器、PC、寄存器、加法器,重复(1)从PC指示的存储器位置取出指令,(2)执行指令,(3)更新PC的过程。 |
SoC |
System of Chip |
系统级芯片,是产品级别,包含完整系统并有嵌入软件的全部内容 |
RTL |
Register Transfer Level |
寄存器传输级语言,不关注寄存器和组合逻辑的细节,通过描述寄存器到寄存器之间的逻辑功能描述电路的HDL层次 |
GPR |
General Purpose Register |
通用寄存器 |
2、CISC和RISC的区别
CISC |
RISC |
|
指令系统 |
复杂,庞大 |
简单,精简 |
指令数目 |