5级流水无cache cpu实验计算机组成原理 课程设计报告

1、计算机组成原理课程设计报告5级流水无cache cpu实验1.1 实验内容：无cache流水cpu的分析与改造1. 理解无cache流水cpu的工作原理，明确系统总体结构和数据通路图，分析解决各种相关用到的主要信号，以及详细分析各流水段的功能和实现。2. 将16位的指令系统改为8位，设计新的指令系统，并修改相应的数据通路。3. 修改规则文件(cpu.txt)，并编写测试程序验证系统改造的正确性。1.2 总体基本信息1. 深刻理解无cache流水cpu的工作原理。在详细分析了各流水段的功能实现、3种相关的产生原因和解决方法的基础上，完成了以下后续工作。2. 修改指令系统。具体包括：a) 16位指

2、令改为8位，重新编写了指令op码。b) 新增了movi指令。由于原指令系统没有将立即数存进指定寄存器的指令，因此此处新增一条movi指令。指令的汇编语句为movi dr, imm其中dr为目的寄存器，imm为立即数。因为指令长度为8位，op和dr共占了6位，因此imm的大小不大于3（即二进制“00”至“11”）。c) 修改及删除了部分指令。此处详见5.1。3. 修改系统控制信号。在保持原有系统逻辑功能基本不变的情况下，修改各个模块里控制信号位数以及模块接口信号位数以和新的指令系统兼容。4. 增加内存模块。使用vhdl编写了一个ram模块，根据读写信号来选择读写功能。reset时将事先写好的二进

3、制形式程序写进内存。5. 扩展了常量定义文件。在常量定义文件unitpack.vhd中，具体地：a) 新增了alu功能选择信号常量alumovi。b) 新增了寄存器编号常量r0、r1、r2和r3。c) 新增了ram类型。6. 使用quartus ii进行功能仿真并debug。7. 使用bdf构造顶层实体cpum。由于新增了内存模块，而原系统是使用vhdl编写的，为了方便对接，我们使用bdf的形式将无cache流水线cpu和内存模块连接起来构造顶层实体cpum，“m”的含义是“memory”，即带内存模块的无cache流水线cpu。8. 重画数据通路图。我们使用了microsoft visio软

4、件在原有的系统总结结构图的基础上修改并新增了部分模块，详见2。2、系统总体结构及数据通路图总体结构图：数据通路图：整个cpu由以下几个模块组成：l 取指模块（if）：给出内存地址，读取指令并送入指令寄存器，为下一级准备数据。由于pc控制模块处于取指模块中，因此控制相关的检测也置于取指模块。l 译码模块（id）：读取寄存器值和指令译码。我们采取一次译码，逐级传递的方式，译出后几级流水所需的控制信号和数据（如立即数等），在每次时钟上升沿到来时送入下一级。实际上，结构相关、控制相关、数据相关的检测都可归入译码部分。考虑到“相关检测”涉及到的信号分属不同阶段以及整体结构的清晰性，我们将“相关检测”独立

5、出来。l 执行模块（ex）：完成算术逻辑运算、计算有效地址和提供数据通道。l 访存模块（ma）：选择地址线的数据来源和数据线的流向。访存和取指在功能上是独立的，但cpu对外只有一条地址线和数据线的事实决定了访存和取指是相互联系的。当执行load/store指令时，地址线由alu送入“访存段”的值提供；取指时，则由pc提供。当写内存时，cpu内部数据送数据线；当需要读内存时，cpu往数据线送高阻。l 回写模块（wb）：选择回写数据源和根据写使能信号wregen将数据回写到寄存器堆；l hazarddetectunit模块：检测结构相关；l forwardingunit模块：检测数据相关。l 内存

6、模块memory，根据访存地址mem_adr和读写信号wr来控制。3 解决各种相关用到的主要信号的分析3.1控制相关 控制相关是指因为程序的执行方向可能改变而引起的相关。当执行跳转指令时，就会发生这种情况。除jr外，jrz等条件跳转需要根据当前状态位来决定是否跳转，而当前状态位是由前面最近的会影响状态位的指令（如算术指令）决定。常规的也是比较简单的做法是在碰到jrx之类的跳转指令时，延迟后边流水线的进入。但我们通过分析，认为可以一点都不必延迟，通过旁路处理把控制相关转为数据相关来处理。这样处理，不必延迟，可以提高流水线的性能。按我们的方式解决控制相关需要做两项工作：1） 通过旁路，提供状态寄存

7、器的值和临时状态位的值，为判断是否跳转作准备；2） 选择pc更新的时机1旁路处理在每条指令译码时，会产生一个信号setflag，它决定了在执行阶段是否根据alu计算结果改变状态位。从下面的时序图中可以发现，只要我们在jrx指令译码时提供以下3个信号就可作出是否跳转的决定：信号含义tflagalu计算出的临时状态位,flag状态寄存器输出，e_setflag状态寄存器写使能表17 处理控制相关信号若e_setflag要写状态寄存器，则说明前一条指令会影响状态位，这时根据tflag决定是否跳转；若e_setflag要保持状态寄存器，则说明前一条指令不会影响状态位，这时根据flag决定是否跳转。涉及

8、到控制相关的关键信号是setflag信号，产生于译码模块，作用于执行模块，即identity.vhdhe exentity.vhd文件中。如下图所示。从上图可看出，凡是涉及到数值计算和关系运算的指令的低三位均为001，而不涉及的则为000。该信号传到执行模块中用于判断是否更新状态寄存器。3.2 数据相关数据相关是指在执行本条指令的过程中，如果用到的操作数是前面指令的执行结果，则必须等待前面的指令执行完成，并把结果写回寄存器或主存之后，本条指令才能继续执行。此处采用设置专用数据通路来解决数据相关问题。但旁路技术并非一劳永逸。若前一指令为load，而后一指令和它数据相关，如下图所示，当下一指令的执

9、行阶段需要数据时，上一指令尚未给出，这种情况是无法用旁路技术来解决的。相关的类型有三种：1.2.3.主要用到的关键信号是m_wregen和w_wregen，主要使用是在数据相关检测模块forwardingentity.vhd中，在identity.vhd、exentity.vhd、memaccessentity.vhd中均有使用。具体的使用方法如下。相关的检测都置于“执行阶段”。信号wregen是寄存器写使能，sa,sb是寄存器组a，b口选择信号。信号前缀表示信号所处的阶段。如e_sa表示处于执行阶段的sa。1相邻指令数据相关的检测 若m_wregen=1，则表示前一指令要回写寄存器。此时，若

10、e_sa或e_sb等于m_sa，则必然数据相关，这是因为我们规定，若回写寄存器，则寄存器a口选择信号所指定的即为目的寄存器。否则无关。2 中间隔1条指令的两指令数据相关的检测 若w_wregen=1，则表示第一条指令要回写寄存器。此时，若e_sa或e_sb等于w_sa，则必然数据相关。否则无关。当然，上述两种情况可能会一同出现。这时，我们就按情况1处理。因为情况2可以理解为接连出现情况1。下图为各个指令在译码时产生的wregen信号，可以发现凡是会写进寄存器的指令，该信号值都为1。3.3 结构相关由于在设计中不包含缓存，因此会有取指和访存的冲突，即结构相关。如下图：关键信号是wrmem信号，表

11、示是否读写内存。具体出现在结构相关冲突检测与问题解决模块hazarddetectentity.vhd中，产生于译码模块identity.vhd中。具体使用方法如下：1) 冲突检测只有执行访存指令(load/store)时，才会出现冲突。因此，我们在译码时产生一个标志是否访存的信号wrmem。含义如下：wrmem意义00写内存（store）01读内存（load）1不占用内存 表16 wmem控制信号通过检查“访存阶段”的m_wrmem就可确定是否冲突。2）取指延后在每次取指时，若有冲突，则往ir中写入空指令(nop)，并保持pc不变，使取指延后一个节拍。4 各流水段功能和实现的详细分析4.1取指

12、(if)4.1.1 实现功能列表取指模块实现的功能是：l 给定内存地址，读取内存中的指令l 将指令送入指令寄存器，提供给下一级的译码模块l 实现控制相关冲突检测l 根据读取到的指令是否为跳转指令来更新pc4.1.2输入、输出信号分析主要输入信号：z，c状态寄存器tempz,tempcalu计算出的临时状态位，用于相关冲突检测e_setflag状态寄存器写使能端，产生于译码时。决定是否在执行阶段根据alu计算出来的结果改变状态位pcstall决定是否保持pc不变，由结构相关冲突检测模块产生ifflush决定是否往指令寄存器ir里写入空指令，来自结构相关检测模块outerdb内存读取过来的数据主要

13、输出信号：pc_addrpc作为内存地址输出,用于下一节拍的取指d_pcinc1pc + 1d_ir指令寄存器输出 4.1.3功能实现逻辑通过分析控制信号我们可以大概了解到取指模块的功能实现逻辑是如何的。广义上来说，取指模块包括结构相关冲突检测模块，因为pcstall信号(用来实现if段对pc的更新)和ifflush信号(对ir写入空指令)就来自结构相关冲突检测模块。结构相关检测模块叫hazarddetectentity，其模块图如下：其中输入信号的含义是：m_wrmemwrmem在访存阶段的值w_rwmemwrmem在写回阶段的值d_ir指令寄存器通过检测访存阶段的wrmem信号即可确定是否

14、发生了结构冲突。每次取指后，若有冲突，则往ir中写入空指令（nop），并保持pc不变，使得取指延后一个节拍。除此之外，setflag信号在此处的作用是，决定用状态寄存器输出flag还是alu计算出的临时状态位tflag来判断跳转。4.2译码(id)4.2.1 实现功能列表译码模块实现的功能是：l 读取指令寄存器中的指令l 对指令进行译码，发送控制信号4.2.2输入、输出信号分析主要输入信号：d_ir从取指模块来的指令d_pcinc1从取指模块来的pc+1w_wbdata写回数据，从写回模块里来w_destreg要写回的目标寄存器w_wregen寄存器写使能端主要输出信号：e_raout寄存器a

15、输出值e_rbout寄存器b输出值e_imm立即数输出值e_alusrcalu输入端选择信号e_aluopralu运算选择信号e_setflag状态寄存器写使能信号e_wrmem访存信号e_wregen寄存器写使能信号e_destreg目标寄存器e_memtoreg内存写入寄存器使能信号4.2.3功能实现逻辑译码模块内部写好了根据不同的指令发送不同的控制信号的代码，采取一次译码，逐级传递的方式，译出后几级流水所需的控制信号和数据（如立即数）。在每次时钟上升沿到来时送入下一级。实际上，结构相关、控制相关、数据相关的检测都可归入译码部分。考虑到“相关检测”涉及到的信号分属不同阶段以及整体结构的清晰

16、性，作者将“相关检测”独立出来。4.3执行(ex)4.3.1 实现功能列表执行模块实现的功能是：l 根据控制信号完成算术逻辑运算l 根据控制信号计算有效地址l 提供数据通道，将上一级传递过来的控制信号传到下一级4.3.2输入、输出信号分析主要输入信号：e_raout、e_rbout、e_alusrc、e_aluopr、e_setflag、e_imm、e_memtoreg、 e_wregen、来自译码模块的控制信号forwarda、forwardb来自数据相关冲突检测模块的输出e_aluout上一个指令在执行模块产生的输出，作为下一条指令在执行模块执行的输入信号之一主要输出信号： m_sa、m_

17、aluout、m_rbdata、i_tempz、i_tempc、m_flag、m_wregen、m_memtoreg、m_destreg、m_wrmem主要来自上一级模块传过来的控制信号4.3.3功能实现逻辑执行模块执行的功能很简单，和上个学期做的cpu综合性实验类似，主要是一些alu逻辑运算和状态寄存器的更新操作。在这里还有向下一模块传递控制信号的作用。其中，forwarda和forwardb信号是来自数据相关冲突检测模块的信号。 模块图如下所示：作用是在发生读后写数据相关时，直接将计算好了的结果在写回目标寄存器时也发往下一条指令的执行模块作为alu的输入之一。4.4访存(mem)4.4.1

18、 实现功能列表访存模块实现的功能是：l 根据地址线对内存进行读操作或者写操作4.4.2输入、输出信号分析主要输入信号：m_wrmem内存读写控制信号m_aluout来自alu的输出结果m_rbdata要写回的数据pc程序计数器的值主要输出信号：w_wrmem传送到写回模块的内存读写控制信号wr读写控制信号addr要读取的内存地址outerdb既可作为输入又可作为输出，用于传输数据4.4.3功能实现逻辑访存和取指在功能上是独立的，但是因为cpu对外只有一条地址线和数据线，因此访存和取指在实际上是有联系和冲突的。当执行load/store指令时，地址线由alu送入访存段的值提供；取指时，则由pc提

19、供。当写内存时，cpu内部数据送往数据线。当需要读内存时，cpu往数据线送高阻。4.5写回(wb)4.5.1 实现功能列表写回模块实现的功能是：l 选择写回数据源（来自alu的输出还是来自内存）l 根据写使能信号wregen将数据写回到寄存器组4.5.2输入、输出信号分析主要输入信号： s_w_aluoutalu的输出 s_w_memout内存读取的输出 s_w_memtoreg决定写入寄存器的数据来源 s_w_flag要写进状态寄存器的值4.5.3功能实现逻辑此部分较为简单，即通过s_w_memtoreg信号来决定是将alu的输出写进寄存器还是将从内存读出来的数据写进寄存器。模块图如下：5

20、系统改造5.1新的指令系统汇编语句操作码功能描述指令类型add dr,sr0000dr+srdr算术逻辑指令sub dr,sr0001dr-srdrcmp dr,sr0010dr-sr 比较and dr,sr0011dr and srdr 逻辑与or dr,sr0100dr or srdr 逻辑或xor dr,sr0101dr xor sr dr 异或shl dr0110逻辑左移,最低位补0,最高位移入cshr dr 0111逻辑右移,最高位补0,最低位移入cmovi dr,imm1000imm（立即数）dr，存立即数进寄存器数据传送指令mov dr,sr1001sr drload dr,sr

21、1010sr drstore dr,sr1011 sr drjr adr1100无条件跳转到adr , adr=原pc值+offset控制转移指令jrc adr1101当c=1时,跳转到adr, adr=原pc值+offsetjrz adr1110当z=1时,跳转到adr, adr=原pc值+offsetnop1111空操作其他5.1.1选择改动说明包括nop空操作指令在内指令系统共包括16条指令，在原有的25条指令的基础上删除了10条，新增了1条。具体地，删除了dec,inc,test,sar,push,pop,jrnc,jrnz,loadh,loadl，新增了一条数据传送指令movi。5.

22、2修改的代码及说明1)代码段1，新增内存模块memory.vhd-内存-2015-10-30library ieee;use ieee.std_logic_1164.all;use ieee.std_logic_unsigned.all;use work.unitpack.all;entity memory isport ( databus : inout std_logic_vector(7 downto 0);-数据总线addr : in std_logic_vector(7 downto 0);-访存地址wr : in std_logic;-读写控制信号reset: in std_log

23、ic);end memory;architecture rtl of memory issignal ram:ram_type;-ram_type在unitpack.vhd文件里定义beginprocess(addr,wr,ram,databus,reset) beginif reset=0 thenram(0) = movi & r0 & 11;-此处将程序写进内存中，省略ram(15) = jr & 1110;end if;-读写功能的实现if wr=0 thendatabus = z8;ram(conv_integer(addr) = databus;end if; if wr=1 th

24、en databus = ram(conv_integer(addr);end if;end process; end rtl;内存模块使用vhdl编写，内存由ram组成，读出数据线和写入数据线为同一条数据总线，因此不能同时进行读写。因为这样所以会产生结构相关，即在取指的时候不可以访存，否则会产生冲突。内存读写功能由wr信号进行控制，当wr为0时执行写功能，当wr为1时执行读功能。2) 代码段2，取指模块ifentity.vhdop = ir(7 downto 4);-操作码取指令的高4位-控制相关信号e_setflag，用于选择当状态寄存器的值来源with e_setflag select

25、zz = zwhen flag_hold, tempz when others;with e_setflag select cc = cwhen flag_hold,-由于跳转信号中只保留了jr、jrc、jrz，因此此处只判断该3个ops_selz = 1 when( op=jrz and zz=1) -判断是否跳转 or op=jr else 0; s_selc = 1 when( op=jrc and cc=1) -判断是否跳转 else 0; pcincsel = 1 when s_selz=1 or s_selc=1 else 0; s_pcinc1 = pc + x01;-此处修改了

26、pc位数 with pcincsel select-当有跳转时pc = pc + offset，否则pc = pc + pcnext = s_pcinc1 when 0, pcplusoffset when 1, s_pcinc1 when others; process(reset,clk,pcstall)beginif reset = 0 thenpc = x00;-此处修改了pc位数 elsif falling_edge(clk) and (pcstall=0) then pc aluresult := opr + ops; tempv := (not opr(7)and(not ops

27、(7)and aluresult(7) or (opr(7)and ops(7)and (not aluresult(7); when alusub = aluresult := opr - ops; tempv := ( ops(7)and(not opr(7)and (not aluresult(7) or (not ops(7)and opr(7)and aluresult(7); when aluand = aluresult := opr and ops;when aluor = aluresult := opr or ops;when aluxor = aluresult := o

28、pr xor ops;when alushl = aluresult(7 downto 1) := opr(6 downto 0); aluresult(0) := 0;cx := opr(7);when alushr = aluresult(6 downto 0) := opr(7 downto 1); aluresult(7) := 0;cx := opr(0); -增加了alumovi的alu功能选择信号及其处理实现when alumovi = aluresult := 00000&ops(3 downto 0);when others = null;end case; 修改了alu选择

29、信号以及alu功能信号的判断逻辑，以及状态寄存器的判断逻辑，之所以修改是因为位数的修改。除此以外还增加了alumovi的alu功能信号及其对应的逻辑功能实现。1） 代码段1，译码模块identity.vhd新增了的writeback:process(reset,clk) -写回模块begin if reset=0 then-新增了初始化寄存器一步 regarray(0) = x00; regarray(1) = x00; regarray(2) = x00; regarray(3) = x00;elsif falling_edge(clk) and w_wregen=1 thenregarra

30、y(wregindex) ctrl:=d_ir(3 downto 0)&10&1&1&001&0000&001;when subb = ctrl:=d_ir(3 downto 0)&10&1&1&001&0001&001;when andins = ctrl:=d_ir(3 downto 0)&10&1&1&001&0010&001;when cmp = ctrl:=d_ir(3 downto 0)&10&0&1&001&0001&001;-新增了movi指令及其译码出来的控制信号when movi = ctrl:=d_ir(3 downto 0)&10&1&1&101&1010&000; i

31、mm ctrl:=d_ir(3 downto 0)&10&1&1&001&0011&001;when xorins= ctrl:=d_ir(3 downto 0)&10&1&1&001&0100&001;when shlins = ctrl:=d_ir(3 downto 0)&10&1&1&000&0101&001;when shrins = ctrl:=d_ir(3 downto 0)&10&1&1&000&0110&001;when mov = ctrl:=d_ir(3 downto 0)&10&1&1&011&0000&000;when load = ctrl:=d_ir(3 downt

32、o 0)&01&1&0&011&0000&000;when store= ctrl:=d_ir(3 downto 0)&00&0&1&000&0000&000;when jr|jrz|jrc = ctrl:=donothing; -若是jr*指令,计算offset，并向exe插入bubble offset ctrl:=donothing; end case;译码模块主要修改了控制信号ctrl的位数，并根据“sa, sb, wrmem, wregen, memtoreg, alusrc, aluopr, setflag”的顺序增加了movi指令的控制信号，如下所示：when movi = ctr

33、l:=d_ir(3 downto 0)&10&1&1&101&1010&000; imm = 000000&d_ir(1 downto 0);最后还增加了寄存器的初始化。6 测试与总结6.1 规则文件(cpu.txt的内容)6.2测试代码-程序1-指令正确性测试- r0r1r2r3ram(0) = movi & r0 & 11;- 3000ram(1) = add & r0 & 01;- 4000ram(2) = mov & r1 & r0;- 4400ram(3) = subb & r1 & 11;- 4100ram(4) = subb & r2 & 10;- 41-20ram(5) = add & r2 & 11;- 4110ram(6) = orins & r1 & r0;- 4410ram(7) = andins & r1 & r2;- 4110ram(8) = xorins & r0 & r1;- 5110ram(9) = shlins & r1 & 00;- 5210;ram(10) = shrins & r0 & 00;