MIPS流水线CPU的verilog实现(共39页).doc

《MIPS流水线CPU的verilog实现(共39页).doc》由会员分享，可在线阅读，更多相关《MIPS流水线CPU的verilog实现(共39页).doc（39页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、精选优质文档-倾情为你奉上一、 实验目的1. 了解提高CPU性能的方法。2. 掌握流水线MIPS微处理器的工作原理。3. 理解数据冒险、控制冒险的概念以及流水线冲突的解决方法。4. 掌握流水线MIPS微处理器的测试方法。二、 实验任务设计一个32位流水线MIPS微处理器，具体要求如下：1. 至少运行下列MIPS32指令。（1） 算术运算指令：ADD、ADDU、SUB、SUBU、ADDI、ADDIU。（2） 逻辑运算指令：AND、OR、NOR、XOR、ANDI、ORI、XORI、SLT、SLTU、SLTI、SLTIU。（3） 移位指令：SLL、SLLV、SRL、SRLV、SRA。（4） 条件分支

2、指令：BEQ、BNE、BGEZ、BGTZ、BLEZ、BLTZ。（5） 无条件跳转指令：J、JR。（6） 数据传送指令：LW、SW。（7） 空指令：NOP。2. 采用5级流水线技术，对数据冒险实现转发或阻塞功能。3. 在XUP Virtex- Pro 开发系统中实现MIPS微处理器，要求CPU的运行速度大于25MHz。三、 实验原理1. 总体设计流水线是数字系统中一种提高系统稳定性和工作速度的方法，广泛应用于高档CPU的架构中。根据MIPS处理器的特点，将整体的处理过程分为取指令（IF）、指令译码（ID）、执行（EX）、存储器访问（MEM）和寄存器会写（WB）五级，对应多周期的五个处理阶段。如图

3、3.1所示，一个指令的执行需要5个时钟周期，每个时钟周期的上升沿来临时，此指令所代表的一系列数据和控制信息将转移到下一级处理。图3.1 流水线流水作业示意图由于在流水线中，数据和控制信息将在时钟周期的上升沿转移到下一级，所以规定流水线转移变量命名遵守如下格式：名称_流水线级名称例如：在ID级指令译码电路（Decode）产生的寄存器写允许信号RegWrite在ID级、EX级、MEM级和WB级上的命名分别为RegWrite_id、RegWrite_ex、RegWrite_mem和RegWrite_wb。在顶层文件中，类似的变量名称有近百个，这样的命名方式起到了很好的识别作用。1） 流水线中的控制信

4、号（1）IF级：取指令级。从ROM中读取指令，并在下一个时钟沿到来时把指令送到ID级的指令缓冲器中。该级控制信号决定下一个指令指针的PCSource信号、阻塞流水线的PC_IFwrite信号、清空流水线的IF_flush信号。（2）ID级：指令译码器。对IF级来的指令进行译码，并产生相应的控制信号。整个CPU的控制信号基本都是在这级上产生。该级自身不需任何控制信号。流水线冒险检测也在该级进行，冒险检测电路需要上一条指令的MemRead，即在检测到冒险条件成立时，冒险检测电路产生stall信号清空ID/EX寄存器，插入一个流水线气泡。（3）EX级：执行级。该级进行算术或逻辑操作。此外LW、SW指

5、令所用的RAM访问地址也是在本级上实现。控制信号有ALUCode、ALUSrcA、ALUScrB和RegDst，根据这些信号确定ALU操作、选择两个ALU操作数A、B，并确定目标寄存器。另外，数据转发也在该级完成。数据转发控制电路产生ForwardA和ForwardB两组控制信号。（4）MEM级：存储器访问级。只有在执行LW、SW指令时才对存储器进行读写，对其他指令只起到一个周期的作用。该级只需存储器写操作允许信号MemWrite。（5）WB级：写回级。该级把指令执行的结果回写到寄存器文件中。该级设置信号MemtoReg和寄存器写操作允许信号RegWrite，其中MemtoReg决定写入寄存器

6、的数据来自于MEM级上的缓冲值或来自于MEM级上的存储器。2）流水线冒险在流水线CPU中，多条指令通知执行，由于各种各样的原因，在下一个时钟周期中下一条指令不能执行，这种情况称为冒险。冒险分为三类：结构冒险：硬件不支持多条指令在同一个时钟周期内执行。MIPS指令集专为流水线设计，因此在MIPS CPU中不存在此类冒险。数据冒险：在一个操作必须等待另一操作完成后才能进行时，流水线必须停顿，这种情况称为数据冒险。数据冒险分为两类：数据相关：流水线内部其中任何一条指令要用到任何其他指令的计算结果时，将导致数据冒险。通常可以用数据转发（数据定向）来解决此类冒险。数据冒险：此类冒险发生在当定向的目标阶段

7、在时序上早于定向的源阶段时，数据转发无效。通常是引入流水线阻塞，即气泡（bubble）来解决。控制冒险：CPU需要根据分支指令的结果做出决策，而此时其他指令可能还在执行中，这时会出现控制冒险，也称为分支冒险。解决此类冒险的常用方法是延迟分支。2.1）数据相关与转发下面通过具体例子来阐述数据相关。见图3.2图3.2 数据相关性问题实例图可见，后4条指令都依赖于第一条指令得到寄存器$2的结果，但sub指令要在第五周期才写回寄存器$2，但在第三、四、五个时钟周期$2分别要被and、or和add三个指令用到，所以这三个指令得到的是错误的未更新的数据，会引起错误的结果；而第六个时钟周期$2要被sw指令用

8、到，此时得到的才是正确的已更新的数据。这种数据之间的互相关联引起的冒险就是数据相关。可以看出，当一条依赖关系的方向与时间轴的方向相反时，就会产生数据冒险。（1）一阶数据相关与转发（EX冒险）首先讨论指令sub与and之间的相关问题。sub指令在第五周期写回寄存器$2，而and指令在第四周期就对sub指令的结果$2提出申请，显然将得到错误的未更新的数据。像这类第I条指令的源操作寄存器与第I-1条指令（即上一条指令）的目标寄存器相重，导致的数据相关称为一阶数据相关。见图3.3中实线所示。 图3.3 一阶数据相关实例图可以发现，sub指令的结果其实在EX级结尾，即第三周期末就产生了；而and指令在第

9、四时钟周期向sub指令结果发出请求，请求时间晚于结果产生时间，所以只需要sub指令结果产生之后直接将其转发给and指令就可以避免一阶数据相关。如图3.3虚线所示。转发数据为ALUResult_mem数据转发由Forwarding unit单元控制，判断转发条件是否成立。转发机制硬件实现见图3.4图3.4 转发机制的硬件实现转发条件ForwardA、ForwardB作为数据选择器的地址信号，转发条件不成立时，ALU操作数从ID/EX流水线寄存器中读取；转发条件成立时，ALU操作数取自数据旁路。转发条件： MEM级指令是写操作，即RegWrite_mem=1； MEM级指令写回的目标寄存器不是$0

10、，即RegWriteAddr_mem0； MEM级指令写回的目标寄存器与在EX级指令的源寄存器是同一寄存器，即RegWriteAddr_mem=RsAddr_ex 或 RegWriteAddr_mem=RtAddr_ex。（2）二阶数据相关与转发（MEM冒险）接下来讨论sub指令与or指令之间的相关问题。sub指令在第5时钟周期写回寄存器，而or指令也在第5时钟周期对sub指令的结果提出了请求，很显然or指令读取的数据是未被更新的错误内容。这类第I条指令的源操作寄存器与第I-2条指令（即之上第二条指令）的目标寄存器相重，导致的数据相关称为二阶数据相关。见图3.5中实线所示。图3.5 一阶数据相

11、关实例图如前所述，or指令在第五时钟周期向sub指令结果发出请求时，sub指令的结果已经产生。所以，我们同样采用“转发”，即通过MEM/WB流水线寄存器，将sub指令结果转发给or指令，而不需要先写回寄存器堆。如图3.5中虚线所示。转发数据为RegWriteData_wb转发条件： WB级指令是写操作，即RegWrite_wb=1； WB级指令写回的目标寄存器不是$0，即RegWriteAddr_wb0； WB级指令写回的目标寄存器与在EX级指令的源寄存器是同一寄存器，即RegWriteAddr_wb=RsAddr_ex 或 RegWriteAddr_wb=RtAddr_ex； EX冒险不成立

12、，即RegWriteAddr_memRsAddr_ex 或 RegWriteAddr_mem=RtAddr_ex。(3)三阶数据相关与转发最后讨论sub指令与add指令之间的相关问题。sub指令与add指令在第五时钟周期内同时读写同一个寄存器。这类同一周期内同时读写同一个寄存器的数据相关称之为三阶数据相关。如图3.6中实线所示。图3.6 三阶数据相关实例图假设寄存器的写操作发生在时钟周期的上升沿，而读操作发生在时钟周期的下降沿，那么读操作将读取到最新写入的内容。在这种假设条件下将不会发生数据冒险。这就要求流水线中的寄存器具有“先写后读（Read After Write）”的特性。这类“写操作发

13、生在时钟周期的上升沿，读操作发生在时钟周期的下降沿”的寄存器虽然在理论上是可实现的，但是不适合应用于同步系统，因为它不但影响系统的运行速度，而且影响系统的稳定性，是不可取的。因此，我们采用“转发”机制来解决三阶数据相关冒险。该部分转发电路我们放在寄存器堆的设计中完成。如图3.6中虚线所示。转发数据为RegWriteData_wb。转发条件为： WB级指令是写操作，即RegWrite_wb=1； WB级指令写回的目标寄存器不是$0，即RegWriteAddr_wb0； WB级指令写回的目标寄存器与在ID级指令的源寄存器是同一寄存器，即RegWriteAddr_wb=RsAddr_id 或 Reg

14、WriteAddr_wb=RtAddr_id。2.2）数据冒险与阻塞当一条指令试图读取一个寄存器，而它前一条指令是lw指令，并且该lw指令写入的是同一个寄存器时，定向转发的方法就无法解决问题。如图3.7所示图3.7 数据冒险与阻塞实例图注意到lw指令只能在第四时钟周期从内存中读出数据，因此它和紧随其后的and指令之间的依赖关系与时序方向是相反的，这种冒险是无法通过转发来实现的。这类冒险不同于数据相关冒险，需要单独一个“冒险检测单元（Hazard Detector）”，它在ID级完成。冒险成立的条件为： 上一条指令是lw指令，即MemRead_ex=1； 在EX级的lw指令与在ID级的指令读写的

15、是同一个寄存器，即RegWriteAddr_ex=RsAddr_id 或 RegWriteAddr_ex=RtAddr_id。冒险的解决：为解决数据冒险，我们引入流水线阻塞。当Hazard Detector检测到冒险条件成立时，在lw指令和下一条指令之间插入阻塞，即流水线气泡（bubble），使后一条指令延迟一个时钟周期执行，这样就将该冒险转化为二阶数据相关，可用转发解决。如图3.8所示。图3.8 流水线气泡的引入需要注意的是，如果处于ID级的指令被阻塞，那么处于IF级的指令也必须阻塞，否则，处于ID级的指令就会丢失。防止这两条指令继续执行的方法是：保持PC寄存器和IF/ID流水线寄存器不变，

16、同时插入一个流水线气泡。具体实现方法如下：在ID级检测到冒险条件时， HazardDetector输出两个信号：Stall与PC_IFWrite。Stall信号将ID/EX流水线寄存器中的EX、MEM和WB级控制信号全部清零。这些信号传递到流水线后面的各级，由于控制信号均为零，所以不会对任何寄存器和存储器进行写操作，高电平有效。PC_IFWrite信号禁止PC寄存器和IF/ID流水线寄存器接收新数据，低电平有效。2.3）分支冒险还有一类冒险是包含分支的流水线冒险，下图。图3.10 分支冒险实例流水线每个时钟周期都得取指令才能维持运行，但分支指令必须等到MEM级才能确定是否执行分支。这种为了确定

17、预取正确的指令而导致的延迟叫做控制冒险或分支冒险。一种比较普遍的提高分支阻塞速度的方法是假设分支不发生，并继续执行顺序的指令流。如果分支发生的话，就丢弃已经预取并译码的指令，指令的执行沿着分支目标继续。由于分支指令直到MEM级才能确定下一条指令的PC，这就意味着为了丢弃指令必须将流水线中的IF、ID和EX级的指令都清除掉（flush）。这种优化方法的代价较大，效率较低。如果我们能在流水线中提前分支指令的执行过程，那么就能减少需要清除的指令数。这是一种提高分支效率的方法，降低了执行分支的代价。因此我们采用提前分支指令的方法解决分支冒险。提前分支指令需要提前完成两个操作： 计算分支的目的地址：由于

18、已经有了PC值和IF/ID流水线寄存器中的指令值，所以可以很方便地将EX级的分支地址计算电路移到ID级。我们针对所有指令都执行分支地址的计算过程，但只有在需要它的时候才会用到。 判断分支指令的跳转条件：我们将用于判断分支指令成立的Zero信号检测电路（Z test ）从ALU中独立出来，并将它从EX级提前至ID级。具体的设计将在ID级设计中介绍。在提前完成以上两个操作之外，我们还需丢弃IF级的指令。具体做法是：加入一个控制信号IF_flush，做为IF/ID流水线寄存器的清零信号。当分支冒险成立，即Z=1，则IF_flush=1，否则IF_flush=0，故IF_flush = Z。考虑到本系

19、统还要实现的无条件跳转指令：J和JR，在执行这两个指令时也必须要对IF/ID流水线寄存器进行清空，因此， IF_flush的表达式应表示为：IF_flush = Z | J | JR。2. MIPS指令格式1） R型指令格式op、funct：共同决定指令名称，都为6位；rs ：指定第一操作数的寄存器地址，为5位；rt ：指定第二操作数的寄存器地址，为5位；rd ：指定目标寄存器地址，为5位；sa ：位移运算的移动位数，为5位。本实验要实现的R型指令有： 算术逻辑运算指令：ADD、ADDU、SUB、SUBU、AND、OR、NOR、XOR 、SLT、SLTU 移位指令：SLLV、SRLV、SRAV

20、、SLL、SRL、SRA 寄存器跳转指令：JR2） I型指令格式op ：决定指令名称，为6位；rs ：指定第一操作数的寄存器地址，为5位；rt ：储存结果的寄存器地址，为5位；Imm：立即数，为16位。本实验要实现的I型指令有： 存储器访问指令：LW、SW 立即数算术逻辑运算指令：ADDI、ADDIU、ANDI、ORI、XORI、SLTI、SLTIU 分支指令：BEQ、BNE、BGEZ、BGTZ、BLEZ、BLTZ注： I型指令中立即数算术逻辑运算指令对立即数（Imm）的处理应分为两类情况考虑：当指令为ADDI、ADDIU、SLTI、SLTIU时，指令中的16位立即数（Imm）应做符号扩展为3

21、2位：sign-extend(Imm)。此符号扩展电路在ID级完成。当指令为ANDI、ORI、XORI时，Imm应做“0”扩展为32位。考虑到资源的限制，在执行ANDI、ORI、XORI指令时，“0”扩展功能放在ALU内部（即EX级)完成。 对于条件分支指令：不执行分支语句时，跳转地址应为下一条地址；执行分支语句时，跳转地址应为下一条地址加上跳转指令数，即为立即数。由于跳转方向有两个：向前与向后，故立即数存在正负性，应该有符号扩展为32位：sign-extend(Imm)。如果能够将立即数的位数扩充，跳转指令的范围将大大增加。由于CPU中指令的起始地址都是4的倍数，因此它们地址的后两位都是0，

22、那么跳过的指令数后两位也应为2b00，故可将16为立即数左移两位扩充为18位，寻址地址范围也扩大4倍。因此分支地址可表示为PC+4+sign-extend(Imm)2. 对于取字指令LW操作为：rt=Memrs+sign_extend(Imm)对于存字指令SW操作为：Memrs+sign_extend(Imm)0)5d13BLEZ_op5d0Z=(A0)5d14BLTZ_op5d0Z=(A0)5d15R_type_opADD_funct加5d0ADDU_functAND_funct与5d1XOR_funct异或5d2OR_funct或5d3NOR_funct或非5d4SUB_funct减5d5

23、SUBU_functSLT_functAB?1:05d19SLTU_functAB?1:0(无符号数）5d20SLL_functBA5d17SRLV_functSRA_functBA5d18SRAV_functopfunctrt运算ALUCodeADDI_op加5d0ADDIU_opANDI_op与5d6XORI_op异或5d7ORI_op或5d8SLTI_opAB?1:05d19SLTIU_opAB?1:0(无符号数)5d20SW_op加（计算地址）5d0LW_op(2) 分支检测（Branch Test）电路的设计Zero检测电路主要用于判断Branch指令的分支条件是否成立，其中BEQ、

24、BNE两个操作数为RsData与RtData，而BGEZ、BGTZ、BLEZ和BLTZ指令则为RsData与常数0比较，所以输出信号Z的表达式为：RsData31 | (| RsData31: 0) ； ALUCode=alu _blezRsData31 ； ALUCode=alu _bltz RsData31 & (| RsData31: 0) ； ALUCode=alu _bgtzZ= RsData31； ALUCode=alu _bgez| ( RsData31: 0 RtData31: 0) ； ALUCode=alu_bne& ( RsData31: 0 RtData31: 0 )；

25、 ALUCode=alu_beq0； ALUCode=OTHER(3) 寄存器堆（Registers）的设计寄存器堆由32个32位寄存器组成，这些寄存器通过寄存器号进行读写存取。寄存器堆的原理框图如图3.13所示。因为读取寄存器不会更改其内容，故只需提供寄存号即可读出该寄存器内容。读取端口采用数据选择器即可实现读取功能。应注意“0”号寄存器为常数0.对于往寄存器里写数据，需要目标寄存器号（WriteRegister）、待写入数据（WriteData）、写允许信号（RegWrite）三个变量。图3.13中5位二进制译码器完成地址译码，其输出控制目标寄存器的写使能信号EN，决定将数据WriteDa

26、ta写入哪个寄存器。在流水线CPU设计中，寄存器堆设计还应解决三阶数据相关的数据转发问题。当满足三阶数据相关条件时，寄存器具有Read after Write的特性。为实现该功能，在寄存器堆的基础上加一转发电路。如图3.14所示。图中转发检测电路的输出表达式为RsSel=RegWrite_wb&(RegWriteAddr_wb=0)&(RegWriteAddr_wb=RsAddr_id)RtSel=RegWrite_wb&(RegWriteAddr_wb=0)&(RegWriteAddr_wb=RtAddr_id)(4) 冒险检测功能（Hazard Deterctor）的设计由前面分析可知，冒

27、险成立的条件为： 上一条指令是LW指令，即MemRead_ex=1； 在EX级的LW指令与在ID级的指令读写的是同一个寄存器，即RegWriteAddr_ex=RsAddr_id 或 RegWriteAddr_ex=RtAddr_id解决冒险的方法为： 插入一个流水线气泡Stall清空ID/EX寄存器并且阻塞流水线ID级、IF级流水线，有：Stall=(RegWriteAddr_ex=RsAddr_id)|(RegWriteAddr_ex=RtAddr_id)&MemRead_ex 保持PC寄存器和IF/ID流水线寄存器不变，有：PC_IFWrite=Stall(5) 其它单元电路的设计 Br

28、anch指令分支地址的计算电路：BranchAddr=NextPC_id+(sign-extend(Imm_id)2) JR指令跳转地址的计算电路：JRAddr=RsData_id J指令跳转地址的计算电路：Jaddr=NextPC_id31:28,IR_id25:0,2b00 符号扩展的方法针对有符号数 如果最高位（即符号位）是0，则要扩展的高位用0补齐；如果最高位是1，则用1补齐。 例： 8位的+1，表示为二进制为，扩展成16位的话，符号扩展为00001；8位的-1，表示成二进制为，扩展成16位的话，符号扩展为11111 。 0扩展的方法针对无符号数 要扩展的高位用0补齐。 例：16位二进

29、制0xFFFF(无符号数65535), 0扩展成32位为0x0000FFFF (无符号数65535) 。4. 执行模块EX的设计执行模块主要有ALU子模块、转发电路Forwarding以及若干数据选择器组成。这行模块的接口信息如下表所示：引脚名称方向说 明RegDst_exInput方向决定Register回写时采用的地址（rt/rd）ALUCode_ex4:0决定ALU采用何种运算ALUSrcA_ex决定ALU的A操作数的来源（rs/Sa）ALUSrcB_ex决定ALU的B操作数的来源（rt/Imm）引脚名称说 明Imm_ex31:0Input立即数Sa_ex31:0移位位数RsAddr_e

30、x4:0Rs寄存器地址，即Instruction_id25:21RtAddr_ex4:0Rt寄存器地址，即Instruction_id20:16RdAddr_ex4:0Rd寄存器地址，即Instruction_id15:11RsData_ex31:0Rs寄存器数据RtData_ex31:0Rt寄存器数据RegWriteData_wb31:0写入寄存器的数据ALUResult_mem31:0ALU输出数据RegWriteAddr_wb4:0寄存器的写地址RegWriteAddr_mem4:0RegWrite_wb寄存器写允许信号RegWrite_memRegWriteAddr_ex4:0Outp

31、ut寄存器的写地址ALUResult_ex31:0ALU运算结果MemWriteData_ex31:0寄存器的回写数据ALU_A31:0ALU操作数，测试时使用ALU_B31:0(1) ALU子模块的设计ALU是提供CPU基本运算能力的重要电路。ALU执行何种运算，由控制单元中的ALU控制器输出的ALUCode信号决定。ALU功能见下表：ALUCodeALUResultalu_add = 5b00000A+Balu_and = 5b00001A&Balu_xor = 5b00010ABalu_or = 5b00011A|Balu_nor = 5b00100(A|B)alu_sub = 5b00

32、101A-Balu_andi= 5b00110A&16b0,B15:0alu_xori= 5b00111A16b0,B15:0alu_ori = 5b01000A|16b0,B15:0alu_sll = 5b10000BAalu_sra = 5b10010BAalu_slt = 5b10011AB?1:0,其中A、B为有符号数alu_sltu= 5b10100AB?1:0,其中A、B为无符号数为了提高运算速度，可将各种运算同时执行，得到的运算结果由ALUCode信号进行挑选。ALU的基本结构如图3.16所示。图3.16 ALU的基本结构a) 加、减电路的设计考虑减法、比较（SLT、SLTI）及

33、部分分支指令（BEQ、BNE）均可用加法器和必要的辅助电路来实现。图3.16中的Binvert信号控制加减运算：Binvert=(ALUCode=alu_add)对ALU来说，它的两个操作数输入时都已经是补码形式，当要完成两个操作数的减法时，即A补-B补，可将减法转换为加法，利用加法器来实现：A补-B补= A补+(-B补)= A补+(B补)补= A补+（B补）反+1加法器完成的功能为：sum=A+B32Binvert+Binvert当Binvert=0时，sum=A+B0+0= A+B；当Binvert=1时，sum=A+B32b1+1= A-B；（B32b1即对B按位取反）即可完成加减运算。由于32位加法器的运算速度影响着CPU频率的高低，因此设计一个高速加法器尤为重要，本实验采用lab7中介绍的32位进位选择加法器。b) 比较电路的设计考虑对于比较运算，如果最高为不同，即A31B31，则根据A31、B31决定比较结果，但应注意有符号数和无符号数比较运算的区别。在有符号数比较SLT运算中，判断AB的方法为：若A为负数、B为0或正数：A31&(B31)