From 949396519e5e51c74e39139cc79a67e61fbbbcca Mon Sep 17 00:00:00 2001 From: Launchcore Date: Wed, 18 Jun 2025 20:18:42 +0800 Subject: [PATCH] Small changes --- .../LA32R.sim/sim_1/behav/xsim/webtalk.jou | 4 +- ...00.backup.jou => webtalk_30320.backup.jou} | 4 +- .../xsim/xsim.dir/cpu_tb_snapshot/xsim.mem | Bin 5554 -> 5550 bytes Hardware/LA32R.sim/sim_1/behav/xsim/xsim.jou | 4 +- .../LA32R.srcs/sources_1/new/control_unit.v | 16 +- Hardware/LA32R.srcs/sources_1/new/cpu_top.v | 6 +- Reference/设计方案.md | 547 ++++++++++-------- 7 files changed, 320 insertions(+), 261 deletions(-) rename Hardware/LA32R.sim/sim_1/behav/xsim/{webtalk_35000.backup.jou => webtalk_30320.backup.jou} (92%) diff --git a/Hardware/LA32R.sim/sim_1/behav/xsim/webtalk.jou b/Hardware/LA32R.sim/sim_1/behav/xsim/webtalk.jou index 7092b2b..9a83fb7 100644 --- a/Hardware/LA32R.sim/sim_1/behav/xsim/webtalk.jou +++ b/Hardware/LA32R.sim/sim_1/behav/xsim/webtalk.jou @@ -2,8 +2,8 @@ # Webtalk v2018.1 (64-bit) # SW Build 2188600 on Wed Apr 4 18:40:38 MDT 2018 # IP Build 2185939 on Wed Apr 4 20:55:05 MDT 2018 -# Start of session at: Wed Jun 18 18:21:59 2025 -# Process ID: 8708 +# Start of session at: Wed Jun 18 20:13:54 2025 +# Process ID: 21412 # Current directory: D:/Schoolwork/ComputerComposition/LA32R/Hardware/LA32R.sim/sim_1/behav/xsim # Command line: wbtcv.exe -mode batch -source D:/Schoolwork/ComputerComposition/LA32R/Hardware/LA32R.sim/sim_1/behav/xsim/xsim.dir/cpu_tb_snapshot/webtalk/xsim_webtalk.tcl -notrace # Log file: D:/Schoolwork/ComputerComposition/LA32R/Hardware/LA32R.sim/sim_1/behav/xsim/webtalk.log diff --git a/Hardware/LA32R.sim/sim_1/behav/xsim/webtalk_35000.backup.jou b/Hardware/LA32R.sim/sim_1/behav/xsim/webtalk_30320.backup.jou similarity index 92% rename from Hardware/LA32R.sim/sim_1/behav/xsim/webtalk_35000.backup.jou rename to Hardware/LA32R.sim/sim_1/behav/xsim/webtalk_30320.backup.jou index c7854d2..fb4f4b4 100644 --- a/Hardware/LA32R.sim/sim_1/behav/xsim/webtalk_35000.backup.jou +++ b/Hardware/LA32R.sim/sim_1/behav/xsim/webtalk_30320.backup.jou @@ -2,8 +2,8 @@ # Webtalk v2018.1 (64-bit) # SW Build 2188600 on Wed Apr 4 18:40:38 MDT 2018 # IP Build 2185939 on Wed Apr 4 20:55:05 MDT 2018 -# Start of session at: Wed Jun 18 18:21:55 2025 -# Process ID: 35000 +# Start of session at: Wed Jun 18 20:13:51 2025 +# Process ID: 30320 # Current directory: D:/Schoolwork/ComputerComposition/LA32R/Hardware/LA32R.sim/sim_1/behav/xsim # Command line: wbtcv.exe -mode batch -source D:/Schoolwork/ComputerComposition/LA32R/Hardware/LA32R.sim/sim_1/behav/xsim/xsim.dir/cpu_tb_snapshot/webtalk/xsim_webtalk.tcl -notrace # Log file: D:/Schoolwork/ComputerComposition/LA32R/Hardware/LA32R.sim/sim_1/behav/xsim/webtalk.log diff --git a/Hardware/LA32R.sim/sim_1/behav/xsim/xsim.dir/cpu_tb_snapshot/xsim.mem b/Hardware/LA32R.sim/sim_1/behav/xsim/xsim.dir/cpu_tb_snapshot/xsim.mem index 4fc066e6b2df5939a8a43f2597480d8128014e4f..519660acc590fab9763dd0fe3865c61a55d826de 100644 GIT binary patch literal 5550 zcmeHIc|276`zJKXy|h@OiBz(++;X#wVUn#7AxqXaTN;!ZThq8`H-+lteb4K4Ue9?x=lOh|=lwqCc|Rf||Ge63 z{_+ccTGxhuzW>+zmw|s7_?Lly8TgBVX99shc>m3Z(`)yS*i3`y49rKh1>enpBjY?L0Bn zyE!D+UsJa&??+^yqK&x32OA_1_oV%w^ZxLDr%(HBRsG(a)Gq$04H~Nc z^x@OQ=#tqR^tC}Uka1c!b0E1lbYzme1_#I-1G*9LwKiNY0XSF!bu#COV~)l^3CE8G zdlak}-2WypiykV&PIDE<8E&MF^_{5w{##n<+n3UP&5Y52q?Xz)w4_eeS< zDq5CMG(eNjrOfEL*IFC_i{prTS*p)sX|d}nuW6}c#LwsabT24hE6o%s(?Q?~{RiY4 zNdg6g-SbzYm(9?PoEW&tBz|8jDe6Klb^(sG@RM3%AYbL%$ zHWBZ|5WzHXe;+$s@-k3i)pELKm(o6z@sNc6;)0myy}XQ31F6;E7tZ8^mAh4XU-~c#<8O|E#RndIBJ)DdW63?l|ImJpuv5V~9uF1b5MO zzB9hgMIo%DvPjKOEYMkBN^D^ReSYLgS-m3m;0ttRGOc-Me*rB%qdRhOUw_MUyPSk? zHodT&^+DfwP{#~&IlP_vhQw*VaUSYLkfA$ny=M3-OQ|_IDR2l9u?ye!4c=OFExS)a z7G`j;nEu7p1zhWz6M*eFHxyw1VKl*&jFj8Et9@VOODZ_*HnkuqY`?v&okXGzSS+- zKAmNF&-^zu;l&y>H}o_t{C{C56(qGR>cy*m{K{icE|2i=39+OnE=w6CN8@Qw-*6 zsTCvM7ma?nq%+?Z9*2IEyOgpok>a9QqT0Y%nr<3Vxm;_f#^T;F@D^pL4HH+SM`KJl zi}Zw<;*%V|LZfJJtxpH5thSo^qvCx`>gS2Lpz|d+jxZF>%Qxb^ANTH1bP%l;S;r6*_h$Bn|mr}H|Q)dg|PxR3iWX|@UvIG=-R&7w< zw!t7er04MK2DyLyARx}eT{y8qzmIEw*w#=cI6M40shrfT5h&HgcGGo+F>hmP#MP#H ziUb7z`8m-HW?3-Y;_t47uYF9*P3ng=m;g=IR667&pjW6OSoh3!3`y0x^JzI{n2`NF zfhi8|Lg>Oc$+WZr$CYq>am%cTEAGUyM~R4wYm(A1?MoH_?C?aLEx!sqLLAX@I-m+r zd4t5GSxOy}hq|~r%t03a&gyNLgiGN?$u~6H)Q;%hZS)9m9Ir!UP5A%`Y9Aw_QQho~1syXB+Z~I~h00eY>%ft5+&4^U0a% z@6L)hlwb436}~}rVP(7VD*pJ`;-3`QPm+h_Pf}jJDt95Al2-H?OKP#|*@&a7V?Kt9^@KDj2GiFjDidXJb;%( z4!+F(^%rr7fyCXH5m$1hIr*ze_vL4g^(dYn+@?HVpYl%Z(mHB?Ud1LET;%#dtA=CU ze#CE+Tt!%G-rU=Cz^_Mx0fuA|6mxN#!4Rx-yo0dydCDUB8gMW$OG!;rXuag~%|T^g zxQ1pH@_l*W)*HJXpBjxhl2qM@q~3;5;dHsj_CnvF1=%XhdSZW`tZ-eBaQU$?mq7ev zk^3zOm8UL;_;QIVgX6}_A%tfm@>i~b8>8=!S%UGH6Z1ZxN3obU7cLf#2_axh$9`<} zc|fRX!Kv(E6P$TJ&cuzifO~kb<|MFs?$U$9QlM#*^OglM?35)4jf+OTuyXIhmBL4g zAa*@1tOMu=JMgN&s_e9|Ld7G>{!qLCq2f_77V|=61Sd>97(v&>77Ykl`Za~d2thqa|EfyIGd)3*d6l8U_Q3vsTzLv z;c;Ub37CW>1ymTnTC4u89iYGvC-~mlQ*fINjg-9<@mZ-d2bjzdat+j$$oDJfcH;&6 z@fa^@o~%dy1Jw%t_$(wBI#q#=jicS4Rm3Cn*r<#y%*{=x&57{&u1Z?5Q|Co9^{O*K zIF9Cb3TVztDRYbw_Wq6&?f`I>`s!vSVdMmU_$Z997q8j*p{MP*P}F|ODP^;@81}>6 zLQQ+t!G%wa&+4(!hM$BIVCp|TSaNhGfq6NRkYh$DldZcIE;ZG}e-(~1rZ{wZREa=h zt4&!`TO=fAIdk<$<8_vT4dvmNNxo|)i9TTYVVgMQri5PU*lIwRayANzv=11r`dp#{ zegr3;D#)}zq8XtD{t0FF^w)%WmdofT}J{LcLXA*n$1?x^O4@z{x( zx9_bjE__q)9lFdUeZ-ox9}W*grY+_oT1*VHW2Zkzr;;)8bwRRdkK1#%@HMsxKJ7i2u7TqF~(@*NUkJgJpK><2lfJ_ND%cb-Vb_(9*~x*eL(*6e>A=bC;FZCHd9%9(0#p1UqH&BMwpjMat>wtTvesVJ zRgsuD+G9APHW8I&o^oC6*e@t5&*NkJC3m27i}_NH=Q39gin47ZpMFTQKBbOGLxi#W zx+60?BgZ!ir^wzQV+$ja9%DD@~v>NdBko8hxRzRZuK)-DEgp#ki&L~vb*6qZWwJV*Pf(SMW;Ca z%ABA6&J~r0se3iRvHd%D<9U(iex8}t;_a*`AUAe@fYO~F$--rPPp@$9Y5cBaki5;G zDpkaVHL`%|7SFkobATUo;_~KX8P~duS<@A+7^)}GMFzMrCKV8fiXL1iOH=~0HfA?f zH8c(`vZ4Lo=7DW3YsD=DJLohao^oD#eb3k=OnG!|!GPg1mFc<`}4 zC&h)p@U=KGd};%K!tLnpD-dlpdReM=R!-e6vAQ>3Y4sTD;ak@-hbNJ&oilL#-mHaz zy1=$CYgR*jID!Py=&t@OuyD_v?@`>;7lu%nNn5Rq zG{xpyTV!dkXj=Q!j}Vc0$0mrMoin@11lpM=Ut=0FhP}Vt&8;p8)@$FMoPWpj%@qQ| z?C$YpxA$v`+LvmMv52AakJa}D?=?Um-80lxC2CI>6B41%;3f~_Oyk;n<7|Kdo=rwe z*YIqb^l^=)k8a#h7MA)X%Z{s9`>Q71jQVIvC(_F6;L-|bvGeeOrva9ptgzC3@02g7 zGW<4om6r!^!f&oeTC1}BSPin*vE9a73^Ee7_H}9R$&8xtcNxOJp^X$MJ*<8fY~AWu zOD3_3#uGf(+9v8RxaocfY~`osxD~ddBa@%FMeeQ+4b&}HudXZaHyS*5@M&7+#$wO7 zQ*Jd_n86vPC(X4}G0pkfGETKtaWJ3iZGki^my)T7p|f{udewAmJdAb(uD)D2Uh1YR xb*Q`PwXT)eQ2v#Y`vIPd(w&Qv@|Gn}1BRM1Wa1m4I@QTWCQH$xtK7Jv{{X&TbL9X4 literal 5554 zcmeHIc{tST+t;C_LRpiwvdogrm6R1zvnW-yo`OUJR-L5ML)Lbl2>h$e}V zG*L&XgpWpTS`+TqKdp*y6KlgJlpXXkQdH~pYXf3D80 z|2+Sf`WJzJ5%?E@e-ZeBKt7Ab;{1Q(!T0y(=Xz9$i;I`N7ia%#|4Z)wi2Z{s-Ot6< z;Qxc={`tjX>Mbbs%6D}mTCxPdzJbR!gea(io>}+nxlN%xhs#_@Bd}w-t_*XD5G!tw_+@h z3Eg6_^jJE3J=1kWO4;oUSSD?2bBC}+(x1xL)6#$QD%Hh9uR3Xkk756d-rGNJO*Yu= z`biG$CGItOE)QF2b>iy+_>nDS>pr3u&DK^#Lm2S)57do%7nJWkKNJ#hq) zx|LjfG3@U3wR9q+=zzxpvPu7^AU$F|1oO3t6t_~6J{9aG6<8JGIi15B5iJrp$g$3Y(G}0S}ZSE0sFq5|akCJA_Sjm{|-Y+kY zUxIF;-`e@J`zA`1bnF-FG|O5SiKctpu@J-njT%(e_2Ou}Y~&CR-!ei1;s1JEJWPUS5E zFJGF%S0lQ|EDs~yx_Z`Md%Vi->QOjjcpSHa6|#L8r~+Q!Q{DjH&he^(RM_rkgR1Iiy0ze56ZQP6;?P`4z0+Cx z$$9?8@aL}%hBpjLd_NKOT*Lyn4=~6d;xQNO_A51uP!f46Oy2i;fdYChkoJ_m{Y8IT z`nv#vx0!o#AN5|?yZ@AoSzmtlbxO$j@lX-5Qi4QeM8)pK@}l&veU3WQP8l?N6}puE zCgdI|xj?H<+AY6~XuEqK{|(ubVB4Tz+tjY``<)ix-AP!ZpU82ZT%Pm=d&vl;gC(z1rTqFSfrt@c;H+|yoE}zP0waxcwy?oU=-uOkMG+%CicMig7yj1q(en{+72=+k}uX$ zafUZqVS_8iqX9afZvu?^#PvLwE|jSvabQe(3%7U`clM{=scbrFA~G6HqRZQoY#;0H zd3Ym64;EBh7Ei!ESk}v`WxWY)`NecfS~D(*DkS6lY$u>RQi=RFZc%Y*xVW>dyK5qxogeE!@a~AxR@$~yUjer3^JSwGQ!eqH<%IDVx%ZC>_ zU!>@nNN!A_nAn-7$C@gzoS@K?YtWzo%#E4xW>)g&-}!sWKai=;tbH+YgtDhYjfrrO zP3kFhY>}sZ-LQ*;g=bXz&_^lkeTX}*et?F26hvvToHqVvTErY4jUnQfzUQTn?u-dd zOsz(yl>5%^Sf18R_?VUae!M|2`ho&Te`azjHjc2;;^>nLhuGnIdc_t++>0&c;31$= z&4TEULwo|jl7f1mryP2!D2mCVUPQ;1U*U_df<#5f2A_K_?EZ{?Zzwzm{?-Wn6xViA zcUAuK8z6TUd|R>#GySAy=gClGduPhy7kh~~aVWUe$Y+z=k>ohwf3ptK>hR*XiF62ja%WUdfkP=*f*Z{3~ zXVK8rO~6(YAm$~IdJ5ef6nvZD&Er%i#8*e~xza)L;+$DIl0y5#i-%PjEVIl@LpI7& zvIc&HWKj;|B{v&U{t9OhXj_^>MF)qlVH`=QAgDdZk5`2psJnJ^hjAucvIjgqmpTRM?o@?28R%`J_ZTkZn zNaNJD9%w&2de8#DRl`HiKN~ydXtA3go!0XZ4sFXW8BvGlC$!vL1o}oASl``a!p*baw?xQ*u)~RaSOW2rB z;W5P|hd1d&mRHXw{m%h()l`yeY?-EM(3ol&W&_sVsbv|t7EaO8SkQ!qf<(-Tn-;wx zgXaeo5cWxTWWqp5ONHp$AJBr`uZ9`O1x*#Ym(cNbwe{+}#wWj1IB7jC4Cf-6AOr7L z$GIbRXM^J^pJHYnn^y&@jd@%tLxSxNOQGGC z6QNoXhGWW2)bkj72~&Qn%#H=C0#aiy)GNpgb_6&p8q8Zi>S}kO6ElTPPZcu!*cvd7 z%x7#W@Dh>}wvUJ>M~};2Mv)Mj4ci4!HKP&4xhO6IKF!wWCJN@L9TNew0dx0EL4xT= zpq^1i;$k3HndUo(B%X_#DC;*}y2RUf!Glt8$P$){4Sq&Xmw!Mkv@4lj$hKZyT(Yxx za~;@fL|Q^^G~NV|nfG{1qs=^mvQ%SwhZ-+?8^FfbIh{$Rye1XCmj_>MlG^6f@r8xO zIVx{aKA@3(*=O@uc?}xwVU+Q>TCfoEBiF;zEnQQ{JiO@7>27GS92)xo@)mOc?=tap zl<3)Lh>A^ychPoFlJA^EBU{`nXQQh7!$Cou4p3$|+(R@c$@G6DF0-9gb@-)_LQ>D7 z`C2Q%m`4=$kj1|C^9RWvc3(*_QdunZF1#)92uUFEiLr=S^HkeTeKBK%=#Sgf**nS1 ze=@O_BV+mKl5 zpzpckz@H5_nm<1P_gpHm8B|&`3(7hb(`y(=y)4mVFjIAg-ICsXTI~LlAZ|hO@BInQ zc!_2~BNR+Iw%%(%b-m(+0M+UZg zBaJx6h}bQ)$knk>DsallTSnTI4MPzlO_z}~hYApFX{b$^owtfstg$81IoYjU6k?J+ zWsPgORT~PV>^=g_#_6V)#IGE*{ZbZpYp&f48vSlYmjJp>OmBfpMVp|v^sEt5e>JKJ z%Ew*R*%32$PEXy*8EVA9_j2K@^d~>DE~h`}LhN00Qi3&$;fZA7S_mrx?h*4=aAfC9 z^V<4-@&#QVzXfDLaN`HZKG}_TbwP2{rH{q}DYkcd!Zt@kn%b;$qWd6QdVV=pL36gx z>xA@8Ybxtk)@fFK?4Kq>PB{o;~ z5|h_NA9VFQ&SkhyeU){35zf2Lx9fR-eZ91wsIbk&8SSW0l%Y8=&(A&}4$|5eSX_t3 zuWWDUSVqhng`xJdb8x4UAl4r)NuDFEUgOL`o{LVTvstup?ke{1)C=ic?0!fvAkX#i z{ymimc!!Sb*6gWwC#_%yl7o7d0WLWhQuQ7-rIbmiNpJ_}&ffN6HUaP0&!6oNSJ+Nt zsUWLjvfn~FViI-y3lgCl+jp~bHCyKNqamUM!Pbls$=Bas0HZN1`KvEHK??*ywp{=z z8bFp(L^H!(N@1eI_e(MfIO(7eO*|}1USe-oxx#`4DzrO&O_@eqGB@0902gRen4O>2 zi)&9}I>eKpn!CKEFMJowcgRY3xA}3sD^vReZSNM1 zcnrTSJ{#y9k4tQ5PcvJ4dv6pa)m~s>@4b?CnyQ$e=IY#vzGgYEteRlxzJ1x>?-2wohRpMM$w1 zlO<$jwFDpG1+sUnii)^*+ob)C>L-je)pF&=W-jJ#$PpJWERV<$e{X^FG=_?LrEfiw zn>vL63D0T$Vc{TlSG|*TloW@QxqGrx{3!OomSZAJ+6XjyX5C+Bw$;2k#b8RTR#)|~ zzfp&Yt6Qvfhu?tfK~0w~O$`H}*paM+X{Hrf)27kUg^ zCF#dj09ty5ZcLniW*{kPrQRu~99}mrYoMj!EGAi6K2}v{*x7XY&Zh$-=NDa0NST$? zzpE=&6P_Dyt^F34A1SwbPSWdjnUnST^{#=cZA-7>@1>)#(-=W_i#eaFs~aoU;PJ?( z_7VmbB{mVZ-o7`G74F}fG%ZV9y>(HgTG@vAlb$a&(7!r-+W3~%cZ=%#7&0N3A)}7T z%m~9D23R>sRBt>o3+d`If2wB|A#8&u*@QG_L$4PBh6WO!Q!9_8I{-G~tJC*L836J+n{U6&sgnR%1 diff --git a/Hardware/LA32R.sim/sim_1/behav/xsim/xsim.jou b/Hardware/LA32R.sim/sim_1/behav/xsim/xsim.jou index eecfdb6..be642bc 100644 --- a/Hardware/LA32R.sim/sim_1/behav/xsim/xsim.jou +++ b/Hardware/LA32R.sim/sim_1/behav/xsim/xsim.jou @@ -2,8 +2,8 @@ # xsim v2018.1 (64-bit) # SW Build 2188600 on Wed Apr 4 18:40:38 MDT 2018 # IP Build 2185939 on Wed Apr 4 20:55:05 MDT 2018 -# Start of session at: Wed Jun 18 18:21:56 2025 -# Process ID: 43956 +# Start of session at: Wed Jun 18 20:13:51 2025 +# Process ID: 20256 # Current directory: D:/Schoolwork/ComputerComposition/LA32R/Hardware/LA32R.sim/sim_1/behav/xsim # Command line: xsim.exe -log ..\..\..\..\..\simulation.log -mode tcl -source {xsim.dir/cpu_tb_snapshot/xsim_script.tcl} # Log file: D:/Schoolwork/ComputerComposition/LA32R/Hardware/LA32R.sim/sim_1/behav/xsim/../../../../../simulation.log diff --git a/Hardware/LA32R.srcs/sources_1/new/control_unit.v b/Hardware/LA32R.srcs/sources_1/new/control_unit.v index a02511f..b95f757 100644 --- a/Hardware/LA32R.srcs/sources_1/new/control_unit.v +++ b/Hardware/LA32R.srcs/sources_1/new/control_unit.v @@ -40,7 +40,7 @@ module control_unit ( output reg mem_to_reg, // 数据选择信号：选择写入寄存器的数据来源 (0: ALU结果, 1: 存储器数据) output reg mem_write_en, // 数据存储器写使能信号 output reg alu_src, // 数据选择信号：选择ALU的B操作数来源 (0: 寄存器, 1: 立即数) - output reg src_reg, // 数据选择信号：选择寄存器堆的第二个读地址来源 (0: instr[19:15], 1: instr[24:20]) + output reg src_reg, // 数据选择信号：选择寄存器堆的第二个读地址来源 (0: instr[14:10], 1: instr[4:0]) output reg [2:0] ext_op, // 立即数扩展单元操作控制信号 output reg [3:0] alu_op, // ALU操作类型控制信号 output reg alu_asrc, // 数据选择信号：选择ALU的A操作数来源 (0: 寄存器, 1: PC / 0 for LUI12I) @@ -78,7 +78,7 @@ module control_unit ( mem_to_reg = 1'b0; // 默认ALU结果写入寄存器 mem_write_en = 1'b0; // 默认不写入存储器 alu_src = 1'b0; // 默认ALU第二操作数来自寄存器 - src_reg = 1'b0; // 默认寄存器堆第二读地址来自instr[19:15] (rd) + src_reg = 1'b0; // 默认寄存器堆第二读地址来自instr[14:10] (rk) alu_asrc = 1'b0; // 默认ALU第一操作数来自寄存器 ext_op = 3'bxxx; // 默认立即数扩展操作无效 alu_op = 4'bxxxx; // 默认ALU操作无效 @@ -97,7 +97,7 @@ module control_unit ( else if (instr[25:22] == 4'b0000 && func_3r_f2 == 2'b01) begin // 3R类型指令 reg_write_en = 1'b1; // 需要写回寄存器 alu_src = 1'b0; // ALU第二操作数来自寄存器 - src_reg = 1'b0; // 寄存器堆第二读地址来自instr[19:15] (源操作数2) + src_reg = 1'b0; // 寄存器堆第二读地址来自instr[14:10] (rk, 源操作数2) case(func_3r_f5) // 根据 instr[19:15] (func_3r_f5) 决定具体ALU操作 5'b00000: alu_op = ALU_ADD; // ADD 5'b00010: alu_op = ALU_SUB; // SUB @@ -128,21 +128,23 @@ module control_unit ( else if (func_2ri12 == 4'b0110) begin // ST.W 指令 (存储字) mem_write_en = 1'b1; // 需要写入存储器 alu_src = 1'b1; // ALU第二操作数为立即数 (地址偏移) - src_reg = 1'b1; // 寄存器堆第二读地址来自instr[24:20] (源数据寄存器) + src_reg = 1'b1; // 寄存器堆第二读地址来自instr[4:0] (rd, 源数据寄存器) ext_op = EXT_SI12; // 12位有符号立即数扩展 (地址偏移) alu_op = ALU_ADD; // ALU计算基地址+偏移 end end - OP_B: ext_op = EXT_SI26; // 无条件分支指令，设置26位有符号立即数扩展 + OP_B: begin // 无条件分支指令 + ext_op = EXT_SI26; // 26位有符号立即数扩展 + end OP_BEQ: begin // 相等则分支指令 alu_src = 1'b0; // ALU比较两个寄存器的值 - src_reg = 1'b1; // 寄存器堆第二读地址来自instr[24:20] + src_reg = 1'b1; // 寄存器堆第二读地址来自instr[4:0] (rd) ext_op = EXT_SI16; // 16位有符号立即数扩展 (分支偏移) alu_op = ALU_SUB; // ALU执行减法以判断是否相等 (结果送zero_flag) end OP_BLT: begin // 小于则分支指令 alu_src = 1'b0; // ALU比较两个寄存器的值 - src_reg = 1'b1; // 寄存器堆第二读地址来自instr[24:20] + src_reg = 1'b1; // 寄存器堆第二读地址来自instr[4:0] (rd) ext_op = EXT_SI16; // 16位有符号立即数扩展 (分支偏移) alu_op = ALU_SUB; // ALU执行减法以判断是否小于 (结果送lt_flag) end diff --git a/Hardware/LA32R.srcs/sources_1/new/cpu_top.v b/Hardware/LA32R.srcs/sources_1/new/cpu_top.v index a12f073..c49153f 100644 --- a/Hardware/LA32R.srcs/sources_1/new/cpu_top.v +++ b/Hardware/LA32R.srcs/sources_1/new/cpu_top.v @@ -76,10 +76,10 @@ module cpu_top ( ); // 立即数扩展器 - imm_extender u_imm_ext (.instr(instr), .ext_op(ext_op), .imm_ext(imm_ext)); - + imm_extender u_imm_ext (.instr(instr), .ext_op(ext_op), .imm_ext(imm_ext)); + // 决定寄存器堆的第二个读取地址 (用于某些指令格式，如ST.W，其中rt是源数据) - wire [4:0] reg_read_addr2_final = src_reg ? instr[4:0] : instr[14:10]; // src_reg=0: rd=instr[19:15] rt=instr[14:10]; src_reg=1: rd=instr[24:20] rt=instr[4:0] + wire [4:0] reg_read_addr2_final = src_reg ? instr[4:0] : instr[14:10]; // src_reg=0: rt=instr[14:10] (rk); src_reg=1: rt=instr[4:0] (rd) // 寄存器堆 register_file u_reg_file ( diff --git a/Reference/设计方案.md b/Reference/设计方案.md index af75aa4..aece148 100644 --- a/Reference/设计方案.md +++ b/Reference/设计方案.md @@ -1,8 +1,8 @@ -# LA32R 单周期 CPU 模型机课程设计详细实现方案 +# LA32R单周期CPU模型机课程设计详细实现方案 ## 前言 -本报告旨在为“LA32R 架构模型机硬件系统”课程设计项目提供一份全面、详尽的总体设计与分步实现方案。报告将遵循专业的硬件设计流程，从指令集体系结构（ISA）的深度分析入手，逐步构建数据通路、设计控制逻辑，并最终提出一套完整的、基于 Verilog HDL 的模块化实现与自动化验证策略。本方案不仅涵盖了课程设计指导书中提出的所有要求，更融入了业界标准的设计思想与最佳实践，旨在帮助设计者不仅完成项目，更能深刻理解计算机体系结构的核心原理。 +本报告旨在为“LA32R架构模型机硬件系统”课程设计项目提供一份全面、详尽的总体设计与分步实现方案。报告将遵循专业的硬件设计流程，从指令集体系结构（ISA）的深度分析入手，逐步构建数据通路、设计控制逻辑，并最终提出一套完整的、基于Verilog HDL的模块化实现与自动化验证策略。本方案不仅涵盖了课程设计指导书中提出的所有要求，更融入了业界标准的设计思想与最佳实践，旨在帮助设计者不仅完成项目，更能深刻理解计算机体系结构的核心原理。 --- @@ -10,71 +10,72 @@ 在着手编写任何硬件描述语言（HDL）代码之前，首要任务是深入理解目标处理器的体系结构，并在此基础上构建一个能够支持所有指令执行的逻辑数据通路。这一阶段是整个设计的基石，其正确性与完备性直接决定了后续工作的成败。 -### 1.1 LA32R 指令集体系结构（ISA）深度分析 +### 1.1 LA32R指令集体系结构（ISA）深度分析 -对指令集体系结构（ISA）的分析是 CPU 设计的起点。LA32R 指令集采用哈佛结构，包含独立的指令存储器和数据存储器，其设计的 14 条指令根据编码格式和功能，可以进行系统性的解构。 +对指令集体系结构（ISA）的分析是CPU设计的起点。LA32R指令集采用哈佛结构，包含独立的指令存储器和数据存储器，其设计的14条指令根据编码格式和功能，可以进行系统性的解构。 #### 1.1.1 指令格式分类与解析 -根据指导书中的表 2，14 条指令可归纳为五种不同的格式。对这些格式的透彻理解是设计译码器和数据通路的前提。 +根据指导书中的表2，14条指令可归纳为五种不同的格式。对这些格式的透彻理解是设计译码器和数据通路的前提。 -1. **1RI20 型 (LUI12I.W):** 用于将一个 20 位的立即数加载到寄存器的高位。其格式为 `opcode (6) | 0 (1) | si20 (20) | rd (5)`。 -2. **3R 型 (ADD.W, SUB.W, SLT, SLTU, NOR, AND, OR):** 这是典型的寄存器-寄存器操作指令。其格式为 `opcode (6) | 0000 (4) | func (2) | 00000 (5) | rk (5) | rj (5) | rd (5)`。这类指令从两个源寄存器（`rj`, `rk`）读取操作数，并将结果写入目标寄存器（`rd`）。 -3. **2RI12 型 (ADDI.W, LD.W, ST.W):** 这是寄存器-立即数操作指令。其格式为 `opcode (6) | func (4) | si12 (12) | rj (5) | rd (5)`。这类指令使用一个源寄存器（`rj`）和一个 12 位立即数（`si12`）作为操作数。 -4. **I26 型 (B):** 无条件跳转指令。其格式为 `opcode (6) | offs[15:0] (16) | offs[25:16] (10)`。它包含一个 26 位的偏移量。 -5. **2RI16 型 (BEQ, BLT):** 条件分支指令。其格式为 `opcode (6) | offs[15:0] (16) | rj (5) | rd (5)`。它使用两个寄存器（`rj`, `rd`）进行比较，并包含一个 16 位的偏移量。 +1. **1RI20型 (LUI12I.W):** 用于将一个20位的立即数加载到寄存器的高位。其格式为 `opcode (6) | 0 (1) | si20 (20) | rd (5)`。 +2. **3R型 (ADD.W, SUB.W, SLT, SLTU, NOR, AND, OR):** 这是典型的寄存器-寄存器操作指令。其格式为 `opcode (6) | 0000 (4) | func (2) | 00000 (5) | rk (5) | rj (5) | rd (5)`。这类指令从两个源寄存器（`rj`, `rk`）读取操作数，并将结果写入目标寄存器（`rd`）。 +3. **2RI12型 (ADDI.W, LD.W, ST.W):** 这是寄存器-立即数操作指令。其格式为 `opcode (6) | func (4) | si12 (12) | rj (5) | rd (5)`。这类指令使用一个源寄存器（`rj`）和一个12位立即数（`si12`）作为操作数。 +4. **I26型 (B):** 无条件跳转指令。其格式为 `opcode (6) | offs[15:0] (16) | offs[25:16] (10)`。它包含一个26位的偏移量。 +5. **2RI16型 (BEQ, BLT):** 条件分支指令。其格式为 `opcode (6) | offs[15:0] (16) | rj (5) | rd (5)`。它使用两个寄存器（`rj`, `rd`）进行比较，并包含一个16位的偏移量。 #### 1.1.2 指令格式对数据通路设计的启示 对指令格式的深入分析，能够揭示出许多隐含的设计简化信息，从而指导我们构建更高效、更简洁的数据通路。 -一个关键的发现是指令中 **寄存器地址域的高度规整性** 。在所有需要读写寄存器的指令中（3R 型、2RI12 型、2RI16 型），目标寄存器地址`rd`始终位于指令的`[4:0]`位，第一个源寄存器地址`rj`始终位于`[9:5]`位，第二个源寄存器地址`rk`始终位于`[14:10]`位。 +一个关键的发现是指令中 **寄存器地址域的高度规整性** 。在所有需要读写寄存器的指令中（3R型、2RI12型、2RI16型），目标寄存器地址`rd`始终位于指令的`[4:0]`位，第一个源寄存器地址`rj`始终位于`[9:5]`位，第二个源寄存器地址`rk`始终位于`[14:10]`位。 这种设计并非偶然，它极大地简化了寄存器堆（Register File）的连接。这意味着： -- 指令的`[9:5]`位可以直接连接到寄存器堆的第一个读地址端口（`ReadRegister1`）。 -- 指令的`[14:10]`位可以直接连接到寄存器堆的第二个读地址端口（`ReadRegister2`）。 -- 指令的`[4:0]`位可以直接连接到寄存器堆的写地址端口（`WriteRegister`）。 +* 指令的`[9:5]`位可以直接连接到寄存器堆的第一个读地址端口（`ReadRegister1`）。 +* 指令的`[4:0]`位可以直接连接到寄存器堆的写地址端口（`WriteRegister`）。 -这样的设计避免了在寄存器堆的地址输入端使用复杂的选择器（MUX），将选择的复杂性转移到了数据通路的其他部分（例如，选择哪个数据写回寄存器堆）。然而，对于 ST、BEQ、BLT 等指令，它们的第二个源操作数来自`rd`字段，因此在寄存器堆的第二个读地址端口前仍需一个 MUX 进行选择。 +然而，对于第二个源操作数，情况有所不同。对于3R型指令，它来自`rk`字段（`instr[14:10]`），但对于`ST.W`、`BEQ`和`BLT`等指令，它们的第二个源操作数来自`rd`字段（`instr[4:0]`）。因此，在寄存器堆的第二个读地址端口前需要一个多路选择器（MUX），根据控制信号`srcReg`进行选择，以确保读取正确的源寄存器。 -与此相对， **立即数字段的位置和长度则呈现多样性** 。`LUI12I.W`使用 20 位立即数`si20`，`ADDI.W`等使用 12 位`si12`，`B`使用 26 位`offs26`，而`BEQ`等使用 16 位`offs16`。这预示着 **立即数扩展单元（Sign/Immediate Extension Unit）** 将是一个不可忽视的关键组合逻辑模块。该模块需要根据指令的`opcode`，从指令寄存器（IR）的不同位置提取出正确长度的立即数字段，并根据指令功能说明（例如`ADDI.W`需要符号扩展，而`LUI12I.W`是逻辑拼接）进行相应的处理。这个单元是初学者设计中常见的错误来源，必须给予足够重视。 +与此相对， **立即数字段的位置和长度则呈现多样性** 。`LUI12I.W`使用20位立即数`si20`，`ADDI.W`等使用12位`si12`，`B`使用26位`offs26`，而`BEQ`等使用16位`offs16`。这预示着**立即数扩展单元（Sign/Immediate Extension Unit）**将是一个不可忽视的关键组合逻辑模块。该模块需要根据指令的 + +`opcode`，从指令寄存器（IR）的不同位置提取出正确长度的立即数字段，并根据指令功能说明（例如`ADDI.W`需要符号扩展，而`LUI12I.W`是逻辑拼接）进行相应的处理。这个单元是初学者设计中常见的错误来源，必须给予足够重视。 ### 1.2 设计单周期数据通路 -单周期 CPU 的特点是每条指令都在一个时钟周期内完成取指、译码、执行、访存和写回。这意味着数据通路必须包含一个时钟周期内执行任何一条指令所需的所有硬件单元和连接。我们将以指导书中的参考图（图 1）为基础，逐步构建并完善数据通路。 +单周期CPU的特点是每条指令都在一个时钟周期内完成取指、译码、执行、访存和写回。这意味着数据通路必须包含一个时钟周期内执行任何一条指令所需的所有硬件单元和连接。我们将以指导书中的参考图（图1）为基础，逐步构建并完善数据通路。 #### 1.2.1 核心硬件组件 数据通路主要由以下功能模块通过导线和多路选择器连接而成： -- **程序计数器 (Program Counter, PC):** 32 位寄存器，存放当前待取指令的地址。 -- **指令存储器 (Instruction Memory):** 根据 PC 提供的地址，输出对应的 32 位指令。 -- **寄存器堆 (Register File):** 包含 32 个 32 位通用寄存器（GR）。它具有两个异步读端口和一个同步写端口，能够在一个周期内同时读取两个操作数并写入一个结果。 -- **算术逻辑单元 (Arithmetic Logic Unit, ALU):** 执行算术（加、减）和逻辑（与、或、或非）运算，以及比较操作。 -- **数据存储器 (Data Memory):** 用于`LD.W`（加载）和`ST.W`（存储）指令，与处理器进行数据交换。 -- **立即数扩展单元 (Immediate Extender):** 根据指令类型，对指令中的立即数字段进行提取、拼接和符号扩展。 -- **控制单元 (Control Unit):** 核心的译码部件，根据指令的`opcode`生成控制数据通路中所有选择器和功能单元的控制信号。 -- **多路选择器 (Multiplexers, MUX):** 在数据通路的关键节点，根据控制信号选择正确的数据来源。 +* **程序计数器 (Program Counter, PC):** 32位寄存器，存放当前待取指令的地址。 +* **指令存储器 (Instruction Memory):** 根据PC提供的地址，输出对应的32位指令。 +* **寄存器堆 (Register File):** 包含32个32位通用寄存器（GR）。它具有两个异步读端口和一个同步写端口，能够在一个周期内同时读取两个操作数并写入一个结果。 +* **算术逻辑单元 (Arithmetic Logic Unit, ALU):** 执行算术（加、减）和逻辑（与、或、或非）运算，以及比较操作。 +* **数据存储器 (Data Memory):** 用于`LD.W`（加载）和`ST.W`（存储）指令，与处理器进行数据交换。 +* **立即数扩展单元 (Immediate Extender):** 根据指令类型，对指令中的立即数字段进行提取、拼接和符号扩展。 +* **控制单元 (Control Unit):** 核心的译码部件，根据指令的`opcode`生成控制数据通路中所有选择器和功能单元的控制信号。 +* **多路选择器 (Multiplexers, MUX):** 在数据通路的关键节点，根据控制信号选择正确的数据来源。 #### 1.2.2 关键指令的数据流追踪 通过追踪几条代表性指令的数据流，可以清晰地展示数据通路各组件如何协同工作。 -1. **R 型指令 (以`ADD.W rd, rj, rk`为例):** - - **取指 (IF):** PC 的值送入指令存储器地址端口，指令存储器输出`ADD.W`指令。PC 更新为`PC+4`。 - - **译码/读寄存器 (ID):** 指令被送入控制单元和寄存器堆。控制单元进行译码。寄存器堆根据指令中的`rj`（`instr[9:5]`）和`rk`（`instr[14:10]`）地址，读出两个 32 位操作数。 - - **执行 (EX):** 两个操作数被送入 ALU。控制单元生成的`ALUOp`信号指示 ALU 执行加法操作。 - - **写回 (WB):** ALU 的计算结果通过一个选择器（`MemtoReg` MUX，此时选择 ALU 结果）送回寄存器堆的写数据端口。控制单元使能`RegWrite`信号，将结果写入由`rd`（`instr[4:0]`）指定的寄存器。 +1. **R型指令 (以`ADD.W rd, rj, rk`为例):** + * **取指 (IF):** PC的值送入指令存储器地址端口，指令存储器输出`ADD.W`指令。PC更新为`PC+4`。 + * **译码/读寄存器 (ID):** 指令被送入控制单元和寄存器堆。控制单元进行译码。寄存器堆根据指令中的`rj`（`instr[9:5]`）和`rk`（`instr[14:10]`）地址，读出两个32位操作数。 + * **执行 (EX):** 两个操作数被送入ALU。控制单元生成的`ALUOp`信号指示ALU执行加法操作。 + * **写回 (WB):** ALU的计算结果通过一个选择器（`MemtoReg` MUX，此时选择ALU结果）送回寄存器堆的写数据端口。控制单元使能`RegWrite`信号，将结果写入由`rd`（`instr[4:0]`）指定的寄存器。 2. **加载指令 (`LD.W rd, rj, si12`):** - - **IF & ID:** 与 R 型指令类似，但此时寄存器堆只读取`rj`的值。同时，指令中的`si12`字段被送入立即数扩展单元进行符号扩展。 - - **EX:** `rj`寄存器的值和符号扩展后的`si12`被送入 ALU，进行加法运算以计算内存地址`Addr`。 - - **访存 (MEM):** ALU 计算出的地址`Addr`被送入数据存储器的地址端口。控制单元使能`MemRead`信号，数据存储器根据地址读出数据。 - - **WB:** 从数据存储器读出的数据通过`MemtoReg` MUX（此时选择内存数据）送回寄存器堆，并写入`rd`寄存器。 + * **IF & ID:** 与R型指令类似，但此时寄存器堆只读取`rj`的值。同时，指令中的`si12`字段被送入立即数扩展单元进行符号扩展。 + * **EX:** `rj`寄存器的值和符号扩展后的`si12`被送入ALU，进行加法运算以计算内存地址`Addr`。 + * **访存 (MEM):** ALU计算出的地址`Addr`被送入数据存储器的地址端口。控制单元使能`MemRead`信号，数据存储器根据地址读出数据。 + * **WB:** 从数据存储器读出的数据通过`MemtoReg` MUX（此时选择内存数据）送回寄存器堆，并写入`rd`寄存器。 3. **条件分支指令 (`BEQ rj, rd, offs16`):** - - **IF & ID:** 与 R 型指令类似，读取`rj`和`rd`寄存器的值。同时，`offs16`字段被立即数扩展单元进行符号扩展并左移两位（因为指令地址是字节对齐的，而偏移量通常以字为单位）。 - - **EX:** `rj`和`rd`的值被送入 ALU 进行减法操作。如果两者相等，ALU 的`Zero`标志位输出为 1。 - - **PC 更新:** 控制单元生成`Branch`信号。该信号与 ALU 的`Zero`标志位进行逻辑与运算。如果结果为 1，则表示分支条件成立，一个专门用于 PC 更新的选择器会选择由`PC+4`和扩展后的偏移量相加得到的跳转目标地址来更新 PC；否则，PC 正常更新为`PC+4`。 + * **IF & ID:** 与R型指令类似，读取`rj`和`rd`寄存器的值。同时，`offs16`字段被立即数扩展单元进行符号扩展并左移两位（因为指令地址是字节对齐的，而偏移量通常以字为单位）。 + * **EX:** `rj`和`rd`的值被送入ALU进行减法操作。如果两者相等，ALU的`Zero`标志位输出为1。 + * **PC更新:** 控制单元生成`Branch`信号。该信号与ALU的`Zero`标志位进行逻辑与运算。如果结果为1，则表示分支条件成立，一个专门用于PC更新的选择器会选择由`PC+4`和扩展后的偏移量相加得到的跳转目标地址来更新PC；否则，PC正常更新为`PC+4`。 #### 1.2.3 单周期设计的核心权衡：性能与简洁性 @@ -84,7 +85,7 @@ $$T_{cycle}​=T_{PC_{r​ead}}​+T_{IMem_{a​ccess}}​+T_{RegFile_{r​ead}}​+T_{ALU_{c​alc}}​+T_{DMem_{a​ccess}}​+T_{MUX}​+T_{RegFile_{s​etup}}​$$ -相比之下，一条简单的`ADD.W`指令并不需要访问数据存储器，而一条`B`（无条件跳转）指令甚至不需要 ALU 进行数据运算。然而，在单周期设计中，这些快速指令必须等待与`LD.W`同样长的时钟周期，造成了巨大的时钟资源浪费。 +相比之下，一条简单的`ADD.W`指令并不需要访问数据存储器，而一条`B`（无条件跳转）指令甚至不需要ALU进行数据运算。然而，在单周期设计中，这些快速指令必须等待与`LD.W`同样长的时钟周期，造成了巨大的时钟资源浪费。 在最终的设计报告中，对这一核心权衡的分析是必不可少的。它不仅展示了设计者对项目本身的完成度，更体现了对计算机体系结构基本设计原则的深刻理解。这为后续学习更高效的多周期和流水线处理器设计奠定了理论基础。 @@ -94,63 +95,60 @@ $$T_{cycle}​=T_{PC_{r​ead}}​+T_{IMem_{a​ccess}}​+T_{RegFile_{r​ead}} 将概念性的数据通路图转化为可综合的硬件描述语言代码，是项目的核心实践环节。采用自底向上的模块化设计方法，可以有效管理复杂性，提高代码的可重用性和可测试性。 -### 2.1 程序计数器(PC)及 PC 更新模块 +### 2.1 程序计数器(PC)及PC更新模块 -- **功能说明:** PC 模块用于存储当前指令的地址，并在每个时钟周期更新以获取下一条指令。在顺序执行时，PC 递增 4；在遇到跳转或分支指令时，PC 根据偏移量更新。 -- **接口信号:** - - 输入: `clk` (时钟), `rst` (复位), `PCSrc` (下一 PC 来源控制信号), `branch_addr` (分支目标地址)。 - - 输出: `PC` (当前指令地址)。 -- **内部实现:** PC 本质是一个 32 位寄存器，在时钟上升沿根据`PCSrc`信号选择更新。`PCSrc=0`时，`PC_next = PC + 4`；`PCSrc=1`时，`PC_next = branch_addr`。`branch_addr`由一个加法器计算得出，通常为`PC + SignExt(offset << 2)`。 +* **功能说明:** PC模块用于存储当前指令的地址，并在每个时钟周期更新以获取下一条指令。在顺序执行时，PC递增4；在遇到跳转或分支指令时，PC根据偏移量更新。 +* **接口信号:** + * 输入: `clk` (时钟), `rst` (复位), `PCSrc` (下一PC来源控制信号), `branch_addr` (分支目标地址)。 + * 输出: `PC` (当前指令地址)。 +* **内部实现:** PC本质是一个32位寄存器，在时钟上升沿根据`PCSrc`信号选择更新。`PCSrc=0`时，`PC_next = PC + 4`；`PCSrc=1`时，`PC_next = branch_addr`。`branch_addr`由一个加法器计算得出，通常为`PC + SignExt(offset << 2)`。 ### 2.2 指令与数据存储器 -- **指令存储器 (Instruction Memory):** - - **功能:** 只读存储器，根据 PC 提供的地址输出 32 位指令。在 FPGA 上可利用分布式 ROM 或块 RAM（Block RAM）实现。 - - **实现:** 在仿真中，可使用 Verilog 的`reg`数组和`$readmemh`系统任务从外部`.hex`文件加载机器码，以方便测试程序的更换与管理。 -- **数据存储器 (Data Memory):** - - **功能:** 支持字（32 位）读写的随机存取存储器（RAM），用于`LD.W`和`ST.W`指令。 - - **实现:** 可用同步双端口 RAM 实现。写操作在时钟上升沿根据`MemWrite`信号执行；读操作可设计为异步（组合逻辑读），即根据当前地址立即输出数据。地址索引需注意字节地址到字地址的转换（如 - `addr[31:2]`）。 +* **指令存储器 (Instruction Memory):** + * **功能:** 只读存储器，根据PC提供的地址输出32位指令。在FPGA上可利用分布式ROM或块RAM（Block RAM）实现。 + * **实现:** 在仿真中，可使用Verilog的`reg`数组和`$readmemh`系统任务从外部`.hex`文件加载机器码，以方便测试程序的更换与管理。 +* **数据存储器 (Data Memory):** + * **功能:** 支持字（32位）读写的随机存取存储器（RAM），用于`LD.W`和`ST.W`指令。 + * **实现:** 可用同步双端口RAM实现。写操作在时钟上升沿根据`MemWrite`信号执行；读操作可设计为异步（组合逻辑读），即根据当前地址立即输出数据。地址索引需注意字节地址到字地址的转换（如`addr[31:2]`）。 ### 2.3 寄存器堆 (Register File) -寄存器堆是 CPU 中用于临时存储数据的高速存储单元。对于 LA32R，需要一个包含 32 个 32 位寄存器的阵列。 +寄存器堆是CPU中用于临时存储数据的高速存储单元。对于LA32R，需要一个包含32个32位寄存器的阵列。 #### 2.3.1 寄存器堆接口与行为 -- **接口:** - - `input clk, rst;` // 时钟和复位信号 - - `input RegWrite;` // 写使能信号 - - `input [4:0] ReadRegister1, ReadRegister2;` // 两个 5 位读地址 - - `input [4:0] WriteRegister;` // 一个 5 位写地址 - - `input [31:0] WriteData;` // 32 位写数据 - - `output [31:0] ReadData1, ReadData2;` // 两个 32 位读数据 -- **行为:** - - **写操作:** 同步的。当`RegWrite`为高电平，在时钟的上升沿，`WriteData`被写入`WriteRegister`指定的寄存器中。 - - **读操作:** 异步（组合逻辑）的。`ReadData1`和`ReadData2`的输出实时反映由`ReadRegister1`和`ReadRegister2`地址指定的寄存器的内容。 +* **接口:** + * `input clk, rst;` // 时钟和复位信号 + * `input RegWrite;` // 写使能信号 + * `input [4:0] ReadRegister1, ReadRegister2;` // 两个5位读地址 + * `input [4:0] WriteRegister;` // 一个5位写地址 + * `input [31:0] WriteData;` // 32位写数据 + * `output [31:0] ReadData1, ReadData2;` // 两个32位读数据 +* **行为:** + * **写操作:** 同步的。当`RegWrite`为高电平，在时钟的上升沿，`WriteData`被写入`WriteRegister`指定的寄存器中。 + * **读操作:** 异步（组合逻辑）的。`ReadData1`和`ReadData2`的输出实时反映由`ReadRegister1`和`ReadRegister2`地址指定的寄存器的内容。 #### 2.3.2 零号寄存器 (R0) 的防御性设计 -在许多 RISC 架构中，零号寄存器（R0）被硬性规定为常数 0。它不可被写入，读取时永远返回 0。实现这一特性需要“防御性”的设计策略。 +在许多RISC架构中，零号寄存器（R0）被硬性规定为常数0。它不可被写入，读取时永远返回0。实现这一特性需要“防御性”的设计策略。 一个简单的实现是在写操作时增加一个判断条件： - `if (RegWrite && (WriteRegister!= 5'd0)) registers <= WriteData;` +这可以阻止对R0的写入。然而，这种方法并非万无一失。例如，如果系统复位不彻底，或者存在某些设计缺陷， -这可以阻止对 R0 的写入 11。然而，这种方法并非万无一失。例如，如果系统复位不彻底，或者存在某些设计缺陷， - -`registers`的物理存储单元可能并非为 0。此时，如果读逻辑仅仅是`assign ReadData1 = registers;`，那么当`ReadRegister1`为 0 时，可能会读出一个非零值，导致灾难性的错误。 +`registers`的物理存储单元可能并非为0。此时，如果读逻辑仅仅是`assign ReadData1 = registers;`，那么当`ReadRegister1`为0时，可能会读出一个非零值，导致灾难性的错误。 一个更**稳健、更具防御性**的设计方法是**在读写两端同时施加约束**。 -1. **写端防护:** 如上所述，阻止对地址 0 的任何写操作。 -2. 读端强制: 在读端口的输出逻辑中，明确地处理地址 0 的情况。 - `assign ReadData1 = (ReadRegister1 == 5'd0)? 32'b0 : registers;` +1. **写端防护:** 如上所述，阻止对地址0的任何写操作。 +2. **读端强制:** 在读端口的输出逻辑中，明确地处理地址0的情况。 + `assign ReadData1 = (ReadRegister1 == 5'd0)? 32'b0 : registers;` `assign ReadData2 = (ReadRegister2 == 5'd0)? 32'b0 : registers;` -这种双重保险的设计，确保了无论内部物理存储状态如何，对 R0 的读取操作永远返回 0。这体现了专业的硬件设计思想：模块的接口行为应是明确且不受内部意外状态影响的。 +这种双重保险的设计，确保了无论内部物理存储状态如何，对R0的读取操作永远返回0。这体现了专业的硬件设计思想：模块的接口行为应是明确且不受内部意外状态影响的。 -#### 2.3.3 寄存器堆 Verilog 代码框架 +#### 2.3.3 寄存器堆Verilog代码框架 ```verilog // 寄存器堆模块 (32个32位寄存器, 2个读端口, 1个写端口) @@ -197,38 +195,42 @@ endmodule ### 2.4 算术逻辑单元 (ALU) -ALU 是 CPU 的计算核心，负责执行指令指定的算术和逻辑运算。 +ALU是CPU的计算核心，负责执行指令指定的算术和逻辑运算。 -#### 2.4.1 ALU 模块接口与功能 - -- **接口:** - - `input [31:0] A, B;` // 两个 32 位操作数输入 - - `input [3:0] ALUOp;` // 4 位操作控制信号 - - `output reg [31:0] Result;` // 32 位运算结果输出 - - `output Zero;` // 零标志位输出，用于分支指令 -- **功能:** 根据`ALUOp`信号，执行`ADD.W`, `SUB.W`, `SLT`, `SLTU`, `NOR`, `AND`, `OR`等操作。此外，ALU 也用于计算内存地址和分支比较。 -- **实现:** 使用`always @(*)`块和`case`语句是实现 ALU 组合逻辑最清晰、最直接的方式。 - `Zero`标志位可以通过比较`Result`是否为全 0 来生成：`assign Zero = (Result == 32'h00000000);`。 +#### 2.4.1 ALU模块接口与功能 +* **接口:** + + * `input [31:0] A, B;` // 两个32位操作数输入 + * `input [3:0] ALUOp;` // 4位操作控制信号 + * `output reg [31:0] Result;` // 32位运算结果输出 + * `output Zero;` // 零标志位输出，用于分支指令 + * `output Negative;` // 负标志位，用于BLT指令 +* **功能:** 根据`ALUOp`信号，执行`ADD.W`, `SUB.W`, `SLT`, `SLTU`, `NOR`, `AND`, `OR`等操作。此外，ALU也用于计算内存地址和分支比较。 +* **实现:** 使用`always @(*)`块和`case`语句是实现ALU组合逻辑最清晰、最直接的方式。 + + `Zero`标志位可以通过比较`Result`是否为全0来生成：`assign Zero = (Result == 32'h00000000);`。 + + `Negative`标志位可由结果的最高位获得：`assign negative = result[1];`。 + #### 2.4.2 `SLT`与`SLTU`的稳健实现 -ISA 要求 ALU 同时支持有符号比较（`SLT`）和无符号比较（`SLTU`）^3^。这为 ALU 的设计带来了一个有趣的挑战。 +ISA要求ALU同时支持有符号比较（`SLT`）和无符号比较（`SLTU`）^^。这为ALU的设计带来了一个有趣的挑战。 -一种直接的方法是利用 Verilog 的语言特性。在比较时，将输入操作数强制转换为`signed`类型： +一种直接的方法是利用Verilog的语言特性。在比较时，将输入操作数强制转换为`signed`类型： `Result = ($signed(A) < $signed(B))? 32'd1 : 32'd0;` - -对于无符号比较，则使用默认的无符号行为。这种方法虽然简单，但高度依赖于 Verilog 的类型系统，可能会在不同仿真或综合工具间存在细微差异，且未能体现底层硬件的实现原理。 +对于无符号比较，则使用默认的无符号行为。这种方法虽然简单，但高度依赖于Verilog的类型系统，可能会在不同仿真或综合工具间存在细微差异，且未能体现底层硬件的实现原理。 一种更为稳健和体现硬件本质的方法，是基于减法运算的标志位来实现比较。 -1. **执行减法:** 对于`A < B`的比较，ALU 首先计算`S = A - B`。 -2. **无符号比较 (SLTU):** 在无符号数中，`A < B`等价于`A - B`会产生借位。在二进制补码加法器中，这通常表现为最高位的进位输出（`CarryOut`）为 0。因此，`SLTU`的逻辑可以实现为：如果`A-B`的结果的最高位进位为 0，则`A < B`。 +1. **执行减法:** 对于`A < B`的比较，ALU首先计算`S = A - B`。 +2. **无符号比较 (SLTU):** 在无符号数中，`A < B`等价于`A - B`会产生借位。在二进制补码加法器中，这通常表现为最高位的进位输出（`CarryOut`）为0。因此，`SLTU`的逻辑可以实现为：如果`A-B`的结果的最高位进位为0，则`A < B`。 3. **有符号比较 (SLT):** 在二进制补码中，情况更为复杂，需要考虑溢出（Overflow）。有符号数`A < B`的条件是： **符号标志位 (Sign Flag) 不等于 溢出标志位 (Overflow Flag)** ，即 `Result = (SignFlag ^ OverflowFlag)? 32'd1 : 32'd0;`。其中，`SignFlag`是减法结果的最高位，`OverflowFlag`可以通过`(A & ~B & ~S) | (~A & B & S)`来计算。 在设计报告中，提供并比较这两种实现方式，并最终选择基于算术标志位的方法，能显著展示设计者对二进制补码运算和硬件实现的深刻理解。 -#### 2.4.3 ALU Verilog 代码框架 +#### 2.4.3 ALU Verilog代码框架 ```verilog // ALU模块 @@ -269,28 +271,29 @@ endmodule ### 2.5 立即数扩展单元 (Immediate Extender) -- **功能说明:** 根据指令类型，将指令中的立即数字段（如 12 位、16 位、20 位、26 位）转换为 32 位值，供 ALU 或 PC 更新模块使用。处理方式包括符号扩展、零扩展和拼接。 -- **接口信号:** - - 输入: `instr` (32 位指令), `ImmType` (扩展类型控制信号)。 - - 输出: `imm_ext` (32 位扩展后立即数)。 -- **内部实现:** 这是一个纯组合逻辑模块。使用`case`语句根据`ImmType`选择对应的处理逻辑。例如，对 12 位有符号立即数`si12`，可使用位拼接实现符号扩展：`imm_ext = {{20{si12}}, si12}`。对于分支偏移量，还需在扩展后左移两位（即末尾补两个 0）。 +* **功能说明:** 根据指令类型，将指令中的立即数字段（如12位、16位、20位、26位）转换为32位值，供ALU或PC更新模块使用。处理方式包括符号扩展、零扩展和拼接。 +* **接口信号:** + + * 输入: `instr` (32位指令), `ImmType` (扩展类型控制信号)。 + * 输出: `imm_ext` (32位扩展后立即数)。 +* **内部实现:** 这是一个纯组合逻辑模块。使用`case`语句根据`ImmType`选择对应的处理逻辑。例如，对12位有符号立即数`si12`，可使用位拼接实现符号扩展：`imm_ext = {{20{si12}}, si12}`。对于分支偏移量，还需在扩展后左移两位（即末尾补两个0）。 ### 2.6 多路选择器 (Multiplexers) 多路选择器（MUX）在数据通路中扮演着关键的“交通枢纽”角色，根据控制信号选择正确的数据来源。 -- **ALU 第二操作数选择 (ALUSrc MUX):** 在 ALU 的 B 输入端，根据`ALUSrc`信号选择数据来源：是来自寄存器堆的第二个读端口，还是来自立即数扩展单元的输出。 -- **写回数据选择 (MemtoReg MUX):** 决定写入寄存器堆的数据来源。根据`MemtoReg`信号选择：是来自 ALU 的计算结果，还是来自数据存储器的读出值。 -- **PC 更新选择 (PCSrc MUX):** 决定下一个 PC 的值。根据`PCSrc`信号选择：是顺序执行的`PC+4`，还是分支/跳转的目标地址。 -- **寄存器堆第二读地址选择 (srcReg MUX):** 对于`ST.W`和条件分支指令，其第二个源操作数寄存器地址位于`rd`字段（`instr[4:0]`），而非`rk`字段。因此需要一个 MUX 根据`srcReg`信号，为寄存器堆的第二个读地址端口选择`instr[14:10]`（rk）或`instr[4:0]`（rd）。 +* **ALU第二操作数选择 (ALUSrc MUX):** 在ALU的B输入端，根据`ALUSrc`信号选择数据来源：是来自寄存器堆的第二个读端口，还是来自立即数扩展单元的输出。 +* **写回数据选择 (MemtoReg MUX):** 决定写入寄存器堆的数据来源。根据`MemtoReg`信号选择：是来自ALU的计算结果，还是来自数据存储器的读出值。 +* **PC更新选择 (PCSrc MUX):** 决定下一个PC的值。根据`PCSrc`信号选择：是顺序执行的`PC+4`，还是分支/跳转的目标地址。 +* **寄存器堆第二读地址选择 (srcReg MUX):** 对于`ST.W`和条件分支指令，其第二个源操作数寄存器地址位于`rd`字段（`instr[4:0]`），而非`rk`字段。因此需要一个MUX根据`srcReg`信号，为寄存器堆的第二个读地址端口选择`instr[14:10]`（rk）或`instr[4:0]`（rd）。 -### 2.7 顶层 CPU 模块集成 +### 2.7 顶层CPU模块集成 顶层`cpu_top`模块是整个设计的骨架。它不包含复杂的逻辑，其主要任务是： -1. **实例化**所有子模块：PC、存储器、寄存器堆、ALU、立即数扩展单元、控制单元以及所有需要的 MUX。 -2. **连接**这些模块。根据数据通路图，将一个模块的输出连接到另一个模块的输入。例如，将寄存器堆的读数据端口连接到 ALU 的输入，将 ALU 的输出连接到数据存储器的地址端口或写回 MUX 的输入。 -3. 将控制单元生成的**控制信号**分发到数据通路中对应的 MUX 选择端和功能单元的使能端。 +1. **实例化**所有子模块：PC、存储器、寄存器堆、ALU、立即数扩展单元、控制单元以及所有需要的MUX。 +2. **连接**这些模块。根据数据通路图，将一个模块的输出连接到另一个模块的输入。例如，将寄存器堆的读数据端口连接到ALU的输入，将ALU的输出连接到数据存储器的地址端口或写回MUX的输入。 +3. 将控制单元生成的**控制信号**分发到数据通路中对应的MUX选择端和功能单元的使能端。 这个过程是细致且易错的，必须严格对照数据通路图进行。模块化的设计使得这一过程条理清晰，大大降低了出错的概率。 @@ -298,197 +301,241 @@ endmodule ## 第三部分：指令级数据通路与控制信号分析 -本部分详细分析 LA32R 指令集中五类指令在单周期 CPU 中的数据通路走向，以及执行时各主要控制信号的取值情况。通过对比可以看出，不同类型指令在数据通路中激活的部件各异，但整个 CPU 架构需统一容纳这些数据流。 +本部分详细分析LA32R指令集中五类指令在单周期CPU中的数据通路走向，以及执行时各主要控制信号的取值情况。通过对比可以看出，不同类型指令在数据通路中激活的部件各异，但整个CPU架构需统一容纳这些数据流。 -### 3.1 1RI20 型指令 (LUI12I.W) +### 3.1 1RI20型指令 (LUI12I.W) -- **功能:** `GR[rd] ← si20 | | 12’b0`，将 20 位立即数加载到目标寄存器高位，低 12 位补零。 -- **数据通路:** 立即数扩展单元提取`si20`并拼接 12 个 0，生成 32 位常量。该常量通过`ALUSrc` MUX 送入 ALU（另一输入可为 0），ALU 执行加法（等效于传递）后，结果通过`MemtoReg` MUX 写回`rd`寄存器。 -- 控制信号: +* **功能:** `GR[rd] ← si20 | | 12’b0`，将20位立即数加载到目标寄存器高位，低12位补零。 +* **数据通路:** 立即数扩展单元提取`si20`并拼接12个0，生成32位常量。该常量通过`ALUSrc` MUX送入ALU（另一输入可为0），ALU执行加法（等效于传递）后，结果通过`MemtoReg` MUX写回`rd`寄存器。 +* **控制信号:** +| 控制信号 | LU12I.W (1RI20) | +|---|---| +| RegWrite | 1 (写使能) | +| ALUSrc | 1 (ALU第二操作数选立即数) | +| MemtoReg | 0 (ALU结果写回) | +| MemRead | 0 | +| MemWrite | 0 | +| PCSrc | 0 (顺序执行) | -| 控制信号 | LU12I.W (1RI20) | -| -------- | -------------------------- | -| RegWrite | 1 (写使能) | -| ALUSrc | 1 (ALU 第二操作数选立即数) | -| MemtoReg | 0 (ALU 结果写回) | -| MemRead | 0 | -| MemWrite | 0 | -| PCSrc | 0 (顺序执行) | +### 3.2 3R型指令 (ADD.W, SUB.W, SLT, SLTU, NOR, AND, OR) -### 3.2 3R 型指令 (ADD.W, SUB.W, SLT, SLTU, NOR, AND, OR) +* **功能:** `GR[rd] ← GR[rj] op GR[rk]`，执行两个寄存器间的算术或逻辑运算。 +* **数据通路:** 寄存器堆读出`rj`和`rk`的值，送入ALU。ALU根据`AluCtrl`信号执行相应运算，结果通过`MemtoReg` MUX写回`rd`寄存器。 +* **控制信号:** +| 控制信号 | 3R类型指令 | +|---|---| +| RegWrite | 1 | +| ALUSrc | 0 (ALU第二操作数来自寄存器) | +| MemtoReg | 0 | +| MemRead | 0 | +| MemWrite | 0 | +| srcReg | 0 (第二读地址选rk字段) | +| PCSrc | 0 | +| AluCtrl | 根据func译码 | -- **功能:** `GR[rd] ← GR[rj] op GR[rk]`，执行两个寄存器间的算术或逻辑运算。 -- **数据通路:** 寄存器堆读出`rj`和`rk`的值，送入 ALU。ALU 根据`AluCtrl`信号执行相应运算，结果通过`MemtoReg` MUX 写回`rd`寄存器。 -- 控制信号: - -| 控制信号 | 3R 类型指令 | -| -------- | ---------------------------- | -| RegWrite | 1 | -| ALUSrc | 0 (ALU 第二操作数来自寄存器) | -| MemtoReg | 0 | -| MemRead | 0 | -| MemWrite | 0 | -| srcReg | 0 (第二读地址选 rk 字段) | -| PCSrc | 0 | -| AluCtrl | 根据 func 译码 | - -### 3.3 2RI12 型指令 (ADDI.W, LD.W, ST.W) +### 3.3 2RI12型指令 (ADDI.W, LD.W, ST.W) 这类指令格式相同，但数据通路和控制信号有显著差异。 -- **ADDI.W rd, rj, si12:** `GR[rd] ← GR[rj] + SignExtend(si12)`。数据通路类似 3R 型，但 ALU 的第二操作数来自符号扩展后的 +* **ADDI.W rd, rj, si12:** `GR[rd] ← GR[rj] + SignExtend(si12)`。数据通路类似3R型，但ALU的第二操作数来自符号扩展后的 + `si12`。 -- **LD.W rd, rj, si12:** `GR[rd] ← M + SignExtend(si12)]`。ALU 计算地址，数据存储器根据该地址读出数据，该数据通过 - `MemtoReg` MUX 写回`rd`寄存器。 -- **ST.W rd, rj, si12:** `M + SignExtend(si12)] ← GR[rd]`。ALU 计算地址，寄存器堆读出 +* **LD.W rd, rj, si12:** `GR[rd] ← M + SignExtend(si12)]`。ALU计算地址，数据存储器根据该地址读出数据，该数据通过 + + `MemtoReg` MUX写回`rd`寄存器。 +* **ST.W rd, rj, si12:** `M + SignExtend(si12)] ← GR[rd]`。ALU计算地址，寄存器堆读出 + `rd`的值作为待写数据，写入数据存储器。此指令不写回寄存器。 -- 控制信号: - +* **控制信号:** + | 控制信号 | ADDI.W | LD.W | ST.W | -| -------- | ------ | ---- | ---- | -| RegWrite | 1 | 1 | 0 | -| ALUSrc | 1 | 1 | 1 | -| MemtoReg | 0 | 1 | X | -| MemRead | 0 | 1 | 0 | -| MemWrite | 0 | 0 | 1 | -| srcReg | X | X | 1 | -| AluCtrl | ADD | ADD | ADD | -| PCSrc | 0 | 0 | 0 | +|---|---|---|---| +| RegWrite | 1 | 1 | 0 | +| ALUSrc | 1 | 1 | 1 | +| MemtoReg | 0 | 1 | X | +| MemRead | 0 | 1 | 0 | +| MemWrite | 0 | 0 | 1 | +| srcReg | X | X | 1 | +| AluCtrl | ADD | ADD | ADD | +| PCSrc | 0 | 0 | 0 | -### 3.4 I26 型指令 (B) +### 3.4 I26型指令 (B) -- **功能:** `PC ← PC + SignExtend(offs26 | | 2’b0)`，无条件跳转。 -- **数据通路:** 立即数扩展单元处理`offs26`得到跳转偏移，与 PC 相加后得到目标地址。该地址通过`PCSrc` MUX 更新到 PC 寄存器。数据通路的主要部分（寄存器堆、ALU、数据存储器）均不参与有效运算。 -- **控制信号:** `PCSrc`置为 1，强制选择跳转地址。其他数据通路控制信号（`RegWrite`, `MemWrite`等）均为 0 或无关（X）。 +* **功能:** `PC ← PC + SignExtend(offs26 | | 2’b0)`，无条件跳转。 +* **数据通路:** 立即数扩展单元处理`offs26`得到跳转偏移，与PC相加后得到目标地址。该地址通过`PCSrc` MUX更新到PC寄存器。数据通路的主要部分（寄存器堆、ALU、数据存储器）均不参与有效运算。 +* **控制信号:** `PCSrc`置为1，强制选择跳转地址。其他数据通路控制信号（`RegWrite`, `MemWrite`等）均为0或无关（X）。 -### 3.5 2RI16 型指令 (BEQ, BLT) +### 3.5 2RI16型指令 (BEQ, BLT) -- **功能:** `if (condition) PC ← PC + SignExtend(offs16 | | 2’b0)`，条件分支。 -- **数据通路:** 寄存器堆读出`rj`和`rd`的值送入 ALU 进行减法比较。ALU 的`Zero`（用于 BEQ）或`Negative`（用于 BLT）标志位与控制单元生成的`Branch`信号共同决定`PCSrc`的取值。若条件成立，`PCSrc`为 1，PC 更新为跳转目标地址；否则为 0，PC 更新为`PC+4`。 -- 控制信号: - -| 控制信号 | BEQ / BLT | -| -------- | ------------------------ | -| RegWrite | 0 | -| ALUSrc | 0 | -| MemRead | 0 | -| MemWrite | 0 | -| srcReg | 1 | -| AluCtrl | SUB (减法比较) | -| PCSrc | Branch & (Zero/Negative) | +* **功能:** `if (condition) PC ← PC + SignExtend(offs16 | | 2’b0)`，条件分支。 +* **数据通路:** 寄存器堆读出`rj`和`rd`的值送入ALU进行减法比较。ALU的`Zero`（用于BEQ）或`Negative`（用于BLT）标志位与控制单元生成的`Branch`信号共同决定`PCSrc`的取值。若条件成立，`PCSrc`为1，PC更新为跳转目标地址；否则为0，PC更新为`PC+4`。 +* **控制信号:** +| 控制信号 | BEQ / BLT | +|---|---| +| RegWrite | 0 | +| ALUSrc | 0 | +| MemRead | 0 | +| MemWrite | 0 | +| srcReg | 1 | +| AluCtrl | SUB (减法比较) | +| PCSrc | Branch & (Zero/Negative) | --- ## 第四部分：控制逻辑、验证与测试 -如果说数据通路是 CPU 的“肌肉和骨骼”，那么控制单元就是其“大脑和神经系统”。设计完备的控制逻辑并建立一套行之有效的验证体系，是确保 CPU 功能正确性的关键。 +如果说数据通路是CPU的“肌肉和骨骼”，那么控制单元就是其“大脑和神经系统”。设计完备的控制逻辑并建立一套行之有效的验证体系，是确保CPU功能正确性的关键。 ### 4.1 控制单元设计 -控制单元是一个有限状态机（FSM），但在单周期 CPU 中，这个 FSM 只有一个状态。因此，它退化为一个纯组合逻辑电路，其输出完全由其输入（即指令的`opcode`和`func`字段）决定。 +控制单元是一个有限状态机（FSM），但在单周期CPU中，这个FSM只有一个状态。因此，它退化为一个纯组合逻辑电路，其输出完全由其输入（即指令的`opcode`和`func`字段）决定。 -#### 4.1.1 主控制单元与 ALU 控制单元 +#### 4.1.1 主控制单元与ALU控制单元 为了使设计更加模块化，控制逻辑通常被分为两部分： 1. **主控制单元 (Main Control Unit):** - - **输入:** 指令的`opcode`字段（`instr[31:26]`）及其他功能位。 - - **输出:** 数据通路中除 ALU 操作外的所有控制信号，如`RegWrite`、`ALUSrc`、`MemRead`、`MemWrite`、`MemtoReg`、`Branch`等。此外，它还会生成一个 2 位的`ALUOp`信号，用于粗略地指示 ALU 需要执行的操作类型。 - - **实现:** 使用一个大的`case`语句或硬布线逻辑，根据`opcode`为每种指令类型生成一组固定的控制信号。 -2. **ALU 控制单元 (ALU Control Unit):** - - **输入:** 主控制单元生成的`ALUOp`信号，以及指令的`func`字段（对于 R 型指令）。 - - **输出:** 最终驱动 ALU 的 4 位`ALUOperation`信号。 - - **实现:** 这种两级控制结构使得主控制单元不必关心 R 型指令的具体运算，只需告诉 ALU 控制单元“这是一条 R 型指令”。ALU 控制单元再根据`func`字段来确定具体的运算。这遵循了“关注点分离”的设计原则。 + * **输入:** 指令的`opcode`字段（`instr[31:26]`）及其他功能位。 + * **输出:** 数据通路中除ALU操作外的所有控制信号，如`RegWrite`、`ALUSrc`、`MemRead`、`MemWrite`、`MemtoReg`、`Branch`等。此外，它还会生成一个2位的`ALUOp`信号，用于粗略地指示ALU需要执行的操作类型。 + * **实现:** 使用一个大的`case`语句或硬布线逻辑，根据`opcode`为每种指令类型生成一组固定的控制信号。 +2. **ALU控制单元 (ALU Control Unit):** + * **输入:** 主控制单元生成的`ALUOp`信号，以及指令的`func`字段（对于R型指令）。 + * **输出:** 最终驱动ALU的4位`ALUOperation`信号。 + * **实现:** 这种两级控制结构使得主控制单元不必关心R型指令的具体运算，只需告诉ALU控制单元“这是一条R型指令”。ALU控制单元再根据`func`字段来确定具体的运算。这遵循了“关注点分离”的设计原则。 -#### 4.1.2 控制信号真值表：设计的核心文档 +#### 4.1.2 控制信号真值表与硬布线逻辑实现 -在编写控制单元的 Verilog 代码之前，强烈建议先创建一个 **控制信号真值表** 。这张表是连接 ISA 规范和硬件实现的桥梁，其重要性不可低估。第三部分的指令分析表即是此真值表的详细体现。 +在编写控制单元的Verilog代码之前，创建**控制信号真值表**是连接ISA规范和硬件实现的桥梁。第三部分的指令分析表即是此真值表的详细体现。基于此表，可采用组合逻辑（硬布线）高效实现控制单元。 -- **价值:** - 1. **强制性分析:** 迫使设计者在编码前就理清所有逻辑细节。 - 2. **设计规范:** 作为控制单元最精确、无歧义的设计规范。 - 3. **调试黄金标准:** 在后续仿真调试阶段，可将实际控制信号与表中期望值比对，快速定位问题。 +可以定义代表指令类型的中间变量，然后直接用逻辑表达式生成控制信号： + +```verilog +// 根据指令编码定义指令类型 (注：位字段需根据最终编码确认) +wire opR = (opcode == 6'b000000 &&...); // 3R运算 +wire opADDI = (opcode == 6'b000000 &&...); // ADDI.W +wire opLD = (opcode == 6'b001010 &&...); // LD.W +wire opST = (opcode == 6'b001010 &&...); // ST.W +wire opLUI = (opcode == 6'b000101 &&...); // LUI12I.W +wire opB = (opcode == 6'b010100); // B +wire opBEQ = (opcode == 6'b010110); // BEQ +wire opBLT = (opcode == 6'b011000); // BLT + +// 根据指令类型生成主控制信号 +assign RegWrite = opR | +| opADDI | +| opLD | +| opLUI; +assign MemWrite = opST; +assign MemRead = opLD; +assign ALUSrc = opADDI | +| opLD | +| opST | +| opLUI; +assign MemToReg = opLD; +assign srcReg = opST | +| opBEQ | +| opBLT; // ST/分支用rd字段作第二源 +``` + +对于`AluCtrl`，可进一步用`case`语句根据`func`字段细分。这种方法逻辑清晰，易于实现和调试。 ### 4.2 验证策略与测试程序开发 验证是硬件设计中耗时最长、也最重要的环节。一个结构化的验证策略和精心设计的测试程序是必不可少的。 -- **策略:** 遵循“增量测试”和“覆盖关键路径”的原则。测试程序不应是随机指令的堆砌，而应是一个逻辑清晰、能逐步验证 CPU 功能的序列。 -- **测试程序序列示例:** - 1. **寄存器加载:** 首先使用`LUI12I.W`和`ADDI.W`向多个寄存器加载已知初始值。 - 2. **算术/逻辑运算:** 依次执行所有 3R 型指令，操作数来自已加载的寄存器，结果存入新寄存器。 - 3. **内存写/读验证:** 使用`ST.W`将已知值存入内存，再用`LD.W`读回并比较。 - 4. **分支逻辑测试:** 分别测试条件成立（跳转）和不成立（不跳转）两种情况。 - 5. **无条件跳转:** 使用`B`指令跳转到特定位置。 - 6. **测试结束标志:** 程序最后应有明确的结束标志，如无限循环或向特定寄存器/内存地址写入“魔法数字”，供测试平台判断。 +* **策略:** 遵循“增量测试”和“覆盖关键路径”的原则。测试程序不应是随机指令的堆砌，而应是一个逻辑清晰、能逐步验证CPU功能的序列。 +* **测试程序序列示例:** + 1. **寄存器加载:** 首先使用`LUI12I.W`和`ADDI.W`向多个寄存器（如R1, R2, R3）加载已知的初始值。这是后续测试的基础。 + 2. **算术/逻辑运算:** 依次执行所有3R型指令（`ADD.W`, `SUB.W`, `AND`, `OR`, `NOR`, `SLT`, `SLTU`），操作数来自已加载的寄存器。将结果存入新的寄存器（如R4, R5等）。 + 3. **内存写/读验证:** 使用`ST.W`将某个寄存器（如R4）中的已知值存入数据存储器的某个地址。然后，立即使用`LD.W`从同一地址将数据读回到一个不同的寄存器（如R6）。最后比较R4和R6的值是否相等。 + 4. **分支逻辑测试:** + * **分支不跳转:** 设计一条`BEQ`指令，其比较的两个寄存器值不相等。验证PC是否正常更新为`PC+4`。 + * **分支跳转:** 设计一条`BEQ`指令，其比较的两个寄存器值相等。验证PC是否正确跳转到目标地址。 + * 对`BLT`进行类似的正反测试，并特别注意使用正负数作为测试用例。 + 5. **无条件跳转:** 使用`B`指令跳转到一个特定的循环或结束位置。 + 6. **测试结束标志:** 程序最后应有一个明确的结束标志。例如，可以是一个无限循环（`B.`），或者向某个约定的寄存器或内存地址写入一个特殊的“魔法数字”（如`0xCAFEBABE`），以供测试平台判断程序是否已成功执行完毕。 ### 4.3 实现自检查测试平台 (Self-Checking Testbench) -手动观察波形来验证 CPU 功能的做法效率低下且极易出错。一个专业的测试平台（Testbench）应该是自动化的、能够自行判断测试结果的。 +手动观察波形来验证CPU功能的做法效率低下且极易出错。一个专业的测试平台（Testbench）应该是自动化的、能够自行判断测试结果的。 #### 4.3.1 测试平台架构 一个强大的自检查测试平台应包含以下组件： -- **DUT 实例化:** `cpu uut (...)`。 -- **时钟与复位生成器:** `always #5 clk = ~clk;` 和一个`initial`块来控制复位信号。 -- **指令存储器模型:** 一个`reg`数组，使用`$readmemh("test_program.hex", instruction_memory);`从外部文件加载测试程序的机器码。 -- **数据存储器模型:** 另一个`reg`数组，用于模拟数据存储器。 -- **结果验证逻辑:** 这是自检查的核心。 +* **DUT实例化:** `cpu uut (...)`。 +* **时钟与复位生成器:** `always #5 clk = ~clk;` 和一个`initial`块来控制复位信号。 +* **指令存储器模型:** 一个`reg`数组，使用`$readmemh("test_program.hex", instruction_memory);`从外部文件加载测试程序的机器码。 +* **数据存储器模型:** 另一个`reg`数组，用于模拟数据存储器。 +* **结果验证逻辑:** 这是自检查的核心。 #### 4.3.2 基于“黄金参考模型”的自动化验证 自检查的关键在于“与谁比较？”。最强大的方法之一是使用一个“黄金参考模型”。对于本课程设计，这个模型可以简化为对最终寄存器状态的期望值。 -1. **生成黄金参考:** 手动或通过脚本模拟执行测试程序，计算出程序结束时所有寄存器的 **最终期望值** 。 -2. **存储黄金参考:** 将期望值存储在测试平台的`golden_reg_file`数组中。 -3. **执行与比对:** 仿真结束时，测试平台用`for`循环逐一比较 DUT 内部寄存器值和`golden_reg_file`中的值。 -4. **报告结果:** 如果匹配，打印`"TEST PASSED"`；否则，打印详细错误信息和`"TEST FAILED"`。 +1. **生成黄金参考:** 在编写测试程序后，手动或通过一个简单的高级语言脚本（如Python）模拟执行该程序，计算出当程序执行完毕时，所有32个通用寄存器的 **最终期望值** 。 +2. **存储黄金参考:** 将这些期望值存储在测试平台的一个“黄金”寄存器数组中：`reg [31:0] golden_reg_file[0:31];`。这些值可以硬编码在测试平台中，或从另一个文件中读入。 +3. **执行与比对:** + * 测试平台启动仿真，让CPU运行足够长的时间以确保测试程序执行完毕。 + * 在仿真结束时（例如，通过`$finish`前的`final`块），测试平台执行一个`for`循环，逐一比较DUT内部的寄存器堆（需要通过层次化引用访问，如`uut.reg_file_inst.registers[i]`）和`golden_reg_file`中的值。 + * **报告结果:** + * 如果所有寄存器的值都匹配，测试平台打印出`"****** TEST PASSED ******"`。 + * 一旦发现不匹配，立即打印出详细的错误信息，如`"ERROR: Register R%d mismatch! Expected: 0x%h, Got: 0x%h"`, `i, golden_reg_file[i], uut.reg_file_inst.registers[i]`，并报告`"****** TEST FAILED ******"`。 -这种方法将验证过程从主观的波形观察，转变为客观、自动化的**PASS/FAIL**判断，是工业界验证方法学的入门实践。 +这种方法将验证过程从主观的波形观察，转变为客观、自动化的**PASS/FAIL**判断。这不仅极大地提高了验证效率和可靠性，也是工业界验证方法学的入门实践，能显著提升课程设计的专业水准。 --- ## 第五部分：仿真、调试与报告撰写 -这一部分关注于如何利用 EDA 工具（Vivado）进行实际的仿真调试，并总结了设计过程中常见的陷阱以及如何撰写一份高质量的设计报告。 +这一部分关注于如何利用EDA工具（Vivado）进行实际的仿真调试，并总结了设计过程中常见的陷阱以及如何撰写一份高质量的设计报告。 -### 5.1 Vivado 仿真与波形分析 +### 5.1 Vivado仿真与波形分析 -在 Vivado 中运行仿真后，波形查看器是主要的调试工具。为了高效地追踪问题，应重点观察以下关键信号： +在Vivado中运行仿真后，波形查看器是主要的调试工具。为了高效地追踪问题，应重点观察以下关键信号： -- **时钟与复位:** `clk`, `rst` -- **PC 与指令:** `pc`, `instruction` -- **寄存器写操作:** `reg_write_en`, `write_addr`, `write_data` -- **ALU 操作:** `alu_input_a`, `alu_input_b`, `alu_op`, `alu_result` -- **内存访问:** `mem_address`, `mem_write_data`, `mem_read_data`, `mem_write_en`, `mem_read_en` +* **时钟与复位:** `clk`, `rst` - 确保它们行为正常。 +* **PC与指令:** `pc`, `instruction` - 验证取指是否正确，PC是否按预期更新。 +* **寄存器写操作:** `reg_write_en`, `write_addr`, `write_data` - 检查写回阶段是否在正确的时机将正确的数据写入了正确的寄存器。 +* **ALU操作:** `alu_input_a`, `alu_input_b`, `alu_op`, `alu_result` - 验证ALU的操作数和操作类型是否正确，结果是否符合预期。 +* **内存访问:** `mem_address`, `mem_write_data`, `mem_read_data`, `mem_write_en`, `mem_read_en` - 调试`LD.W`和`ST.W`指令的关键。 + +通过将这些信号组织在一起，可以清晰地看到在每个时钟周期，数据如何在数据通路中流动，从而验证每条指令的执行过程。 ### 5.2 主动调试与常见陷阱规避 -对于初学者而言，Verilog 的某些特性可能会导致与直觉相悖的结果。了解并规避这些常见陷阱是成功的关键。 +对于初学者而言，Verilog的某些特性可能会导致与直觉相悖的结果。了解并规避这些常见陷阱是成功的关键。 -1. **思维模型错位 (Mental Model Mismatch):** 最根本的错误是把 Verilog 当作一种顺序执行的编程语言。必须牢记： - **Verilog 是硬件描述语言** 。正确的思维方式是：“ **先画出电路图，再用 Verilog 描述它** ”。 -2. **阻塞赋值 (`=`) vs. 非阻塞赋值 (`<=`):** 这是 Verilog 中最常见也最致命的错误之一。 - - **铁律:** - - 在 **时序逻辑** （`always @(posedge clk)`）中，**永远**使用 **非阻塞赋值 (`<=`)** 。 - - 在 **组合逻辑** （`always @(*)`）中，**永远**使用 **阻塞赋值 (`=`)** 。 -3. **意外推断出锁存器 (Inferred Latches):** 在组合逻辑块中，如果某些条件下输出没有被赋值（如`if`缺少`else`，`case`缺少`default`），综合器会推断出锁存器。 - - **解决方法:** 确保在组合逻辑的`always`块中，所有输出信号在所有代码路径中都被赋值，或在块开头赋默认值。 -4. **不完整的敏感列表 (Incomplete Sensitivity List):** 在 Verilog-1995 标准中，遗漏敏感列表中的输入会推断出锁存器。 - - **解决方法:** **始终使用`always @(*)`** （Verilog-2001 标准），它能自动推断敏感列表。 +1. **思维模型错位 (Mental Model Mismatch):** 最根本的错误是把Verilog当作一种顺序执行的编程语言。必须牢记： -### 5.3 进阶调试：Vivado ILA 硬件在线调试 + **Verilog是硬件描述语言** 。正确的思维方式是：“ **先画出电路图，再用Verilog描述它** ”。你写的每一行代码都应对应一个具体的硬件结构（寄存器、选择器、逻辑门等）。 +2. **阻塞赋值 (`=`) vs. 非阻塞赋值 (`<=`):** 这是Verilog中最常见也最致命的错误之一。 -仿真环境是理想的，而实际硬件中可能会出现仿真无法复现的问题。Vivado 的 **集成逻辑分析仪 (Integrated Logic Analyzer, ILA)** 核是一个可以植入到设计中的“片上示波器”，允许你在 FPGA 运行时实时捕获内部信号的状态。 + * **铁律:** + * 在 **时序逻辑** （`always @(posedge clk)`）中，**永远**使用 **非阻塞赋值 (`<=`)** 。 + * 在 **组合逻辑** （`always @(*)`）中，**永远**使用 **阻塞赋值 (`=`)** 。 + * **原因:** 违反此规则会导致仿真结果与综合后的硬件行为不匹配的风险，即所谓的“仿真-综合不匹配”，这是非常难以调试的。非阻塞赋值模拟了时序电路中所有D触发器在时钟沿同时更新的并行行为。 +3. **意外推断出锁存器 (Inferred Latches):** 在组合逻辑块中，如果某些条件下输出没有被赋值，综合器会认为你需要“记住”上一个值，从而推断出一个锁存器。锁存器会引入意外的时序路径，是设计中的大忌。 -- **基本流程:** - 1. **标记信号:** 在综合后的网表视图中，右键点击关心的内部信号，选择“Mark Debug”。 - 2. **设置 ILA:** 运行“Set Up Debug”向导，Vivado 会自动创建 ILA 核并连接探针。 - 3. **重新实现与生成比特流:** 包含 ILA 核的新设计需要重新实现并生成`.bit`文件。 - 4. **硬件调试:** 在 Hardware Manager 中连接开发板，下载比特流，然后像使用逻辑分析仪一样设置触发条件并捕获波形。 + * **两大元凶:** + * `if`语句没有`else`分支。 + * `case`语句没有覆盖所有可能情况，且没有`default`分支。 + * **解决方法:** 确保在任何组合逻辑的`always`块中，所有输出信号在所有可能的代码路径中都被赋值。一个最佳实践是在`always @(*)`块的开头为所有输出赋一个默认值。 +4. **不完整的敏感列表 (Incomplete Sensitivity List):** 在Verilog-1995标准中，组合逻辑的`always`块需要手动列出所有输入信号。如果遗漏了某个输入，当该输入变化时，逻辑块不会重新计算，同样会推断出锁存器。 -向学生介绍 ILA 的使用，是将其从纯粹的模拟仿真引向了专业的硬件调试领域，极大地提升了其实践技能。 + * **解决方法:** **始终使用`always @(*)`** （Verilog-2001标准）。它能自动将块内所有读取的信号都包含进敏感列表，从根本上杜绝此类错误。 + +### 5.3 进阶调试：Vivado ILA硬件在线调试 + +仿真环境是理想的，而实际硬件中可能会出现仿真无法复现的问题（如时序问题）。Vivado的**集成逻辑分析仪 (Integrated Logic Analyzer, ILA)**核是一个可以植入到设计中的“片上示波器”，允许你在FPGA运行时实时捕获内部信号的状态。 + +* **基本流程:** + 1. **标记信号:** 在综合后的网表视图中，右键点击你关心的内部信号（如`pc`, `instruction`等），选择“Mark Debug”。 + 2. **设置ILA:** 运行“Set Up Debug”向导，Vivado会自动创建一个ILA核，并将标记的信号连接到ILA的探针上。你可以设置采样深度和触发条件。 + 3. **重新实现与生成比特流:** 包含ILA核的新设计需要重新进行实现（布局布线）并生成`.bit`文件。 + 4. **硬件调试:** 在Vivado的Hardware Manager中，连接开发板并下载比特流。之后，你可以像使用逻辑分析仪一样，设置复杂的触发条件（例如，当PC等于某个特定值时触发），然后捕获并查看信号在硬件中运行时的真实波形。 + +向学生介绍ILA的使用，哪怕只是基础层面，也是将其从纯粹的模拟仿真引向了专业的硬件调试领域，极大地提升了其实践技能和解决复杂问题的能力。 ### 5.4 命名规范与报告撰写 @@ -496,33 +543,43 @@ endmodule 良好的命名规范可以提高代码的可读性和维护性。建议统一使用简洁的英文缩写或单词来命名，并遵循一致的风格（如驼峰式或下划线式）。 -- **模块命名:** `CpuTop` 或 `cpu_top`。 -- **信号命名:** `pc_next`, `reg_write`, `mem_to_reg`。 -- **常量:** 使用全大写，如 `parameter ALU_ADD = 4'b0000;`。 -- **注释:** 在模块定义和关键逻辑处添加注释，说明信号作用和设计意图。 +* **模块命名:** `CpuTop` 或 `cpu_top`。 +* **信号命名:** `pc_next`, `reg_write`, `mem_to_reg`。 +* **常量:** 使用全大写，如 `parameter ALU_ADD = 4'b0000;`。 +* **注释:** 在模块定义和关键逻辑处添加注释，说明信号作用和设计意图。 #### 5.4.2 最终课程设计报告结构 一份结构清晰、内容详实的报告是展示项目成果的关键。建议报告遵循以下结构： -1. **引言:** 项目背景、目标、LA32R 架构简介、报告结构概述。 -2. **总体设计描述:** CPU 总体架构、模块划分、数据通路概览图及说明。 +1. **引言:** + * 项目背景、目标与意义。 + * LA32R架构简介。 + * 报告结构概述。 +2. **总体设计描述:** + * CPU总体架构、模块划分、数据通路概览。 + * 附上CPU总体结构框图或数据通路图，并引用说明。 3. **模块设计说明:** - - 分小节详细描述每个模块（PC、寄存器堆、ALU 等）。 - - 为每个模块提供接口表（信号名、位宽、方向、含义）。 - - 描述内部实现原理，可附上关键 Verilog 代码片段和注释。 + * 分小节详细描述每个核心Verilog模块（PC、寄存器堆、ALU、控制单元等）。 + * 为每个模块提供接口表（信号名、位宽、方向、含义）。 + * 描述内部实现原理，可附上关键Verilog代码片段和注释。 4. **数据通路与控制分析:** - - 为五类指令分别绘制简化的数据通路图（可在总图上高亮）。 - - 提供一张完整的控制信号总表，对比所有指令的控制信号取值，并进行分析。 + * 为五类指令分别绘制简化的数据通路图（可在总图上高亮）。 + * 提供一张完整的控制信号总表，对比所有指令的控制信号取值，并进行分析。 5. **实现细节和仿真结果:** - - 附上关键模块的核心 Verilog 代码。 - - 展示关键指令执行时的仿真波形图，并结合数据通路进行分析，证明其正确性。尤其要展示分支跳转成功和失败的对比波形。 - - 附上自检查测试平台的最终 PASS/FAIL 测试结果截图和日志。 -6. **结论与展望:** 总结项目完成情况，分析单周期设计的优缺点，并对可能的改进方向（如多周期、流水线）进行展望。 -7. **附录:** 完整的 Verilog 源代码、测试程序的汇编代码和机器码。 + * 附上关键模块的核心Verilog代码。 + * 展示关键指令执行时的仿真波形图，并结合数据通路进行分析，证明其正确性。尤其要展示分支跳转成功和失败的对比波形。 + * 附上自检查测试平台的最终PASS/FAIL测试结果截图和日志。 +6. **结论与展望:** + * 总结项目完成情况和达成的设计目标。 + * 再次审视单周期设计的优缺点，并对可能的改进方向（如多周期、流水线）进行展望。 + * 分享设计过程中的心得与体会。 +7. **附录:** + * 所有Verilog源代码。 + * 测试程序的汇编代码和机器码。 --- ## 总结 -本报告为 LA32R 单周期 CPU 模型机的设计与实现提供了一个系统化、工程化的完整方案。通过融合两种设计思路的精华，本方案不仅详细阐述了从架构分析到模块化实现，再到自动化验证的完整设计流程，还深入探讨了硬件设计的核心思想、常见陷阱、高级调试技术以及专业报告的撰写规范。遵循此综合方案，设计者不仅能够成功构建一个功能正确的 CPU，更能够在此过程中建立起坚实的计算机体系结构知识基础和专业的硬件工程实践能力。 +本报告为LA32R单周期CPU模型机的设计与实现提供了一个系统化、工程化的完整方案。通过融合两种设计思路的精华，本方案不仅详细阐述了从架构分析到模块化实现，再到自动化验证的完整设计流程，还深入探讨了硬件设计的核心思想、常见陷阱、高级调试技术以及专业报告的撰写规范。遵循此综合方案，设计者不仅能够成功构建一个功能正确的CPU，更能够在此过程中建立起坚实的计算机体系结构知识基础和专业的硬件工程实践能力。