CPU设计的形式证明

《CPU设计的形式证明》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、addrd,rs,rtrd=rs+rt0x00rsrtrd0x000x20加法溢POPCMuxl4.0Muxl4ALU.ACtrlMuxl4.0PO32，d4Mux15.0Mux15ALU.BCtrlMuxl5.0P06'b010010Mux16.0Mux16ALU.FuncCtrlMuxl6.0P0ALUMux17.0Mux17ALUOut.InCtrlMuxl7.0POPCMux2.0Mux2PCO.InCtrlMux2.0POPCMux3.0Mux3Mem.AddrCtrlMux3.0POMem*CtrlMemReadPOMemMux7.0Mux7IR.InCtrlMux7.0

2、P0PlPCO■CtrlPCOPlALUOut•CtrlALUOutPlALUOutMux1.0MuxlPC.InCtrlMuxl.O(P1IP2)IR■CtrllRPlIR3126CU.IRopIR2521Mux&lMux8Regs.RReglCtrlMuxS.l(PllP2)&Ctrl00&CtrlFunc28IR2016Mux9.1Mux9Regs.RReg2CtrlMux9.1(PllP2)&Ctrl00&CtrlFunc28IR50CU.IRfuncRegs*CtrlRegsRead(PllP2)&Ctrl00&CtrlFunc28Regs.RdatalMux12.1Mux

3、12A.InCtrlMuxl2」(PllP2)&Ctrl00&CtrlFunc28Regs.Rdata2Mux13.1Mux13B.InCtrlMuxl3」(P1IP2)&CtrlOO&CtrlFunc28P2PC•CtrlPCP2A•CtrlAP2&CtrlOO&CtHFunc28B■CtrlBP2&CtrlOO&CtrlFunc28AMux14.1Mux14ALU.ACtrlMuxU.lP2&CtrlOO&CtrlFunc28BMuxl5.1Mux15ALU.BCtrlMuxl5.1P2&CtrlOO&CtrlFunc28CU.FuncMux16.1Mux16ALU.FuncCt

4、rlMuxl6.1P2&CtrlOO&ClrlFunc28ALUMuxl7.1Mux17ALUOut.InCtrlMuxl7.1P2&CtrlOO&CwlFunc28P3ALUOut■CtrlALUOutP3&CtrlOO&CtrlFunc28IR1511Mux10.1Mux10Regs.WRegCtrlMuxlO」P3&CtrlOO&ClrlFunc28ALUOutMuxll.lMuxllRegs.WdataCtrlMuxU.lP3&CtrlOO&CtrlFimc28P4Regs•CtrlRegsP4&CtrlOO&CtrlFunc28n&#PC=addr&#addr=0x0()r

5、srtrd0x000x20卜#rd=#rs+#rtCtrl()()=〜op[5]&〜op[4]&〜op[3]&〜op[2]&〜op[1]&〜op[()]CtrlFunc28=func⑸&〜func[4]&~func⑶&〜func[2]&〜func[l]&~func[O])Ctrl0028=Ctrl00&CtrlFunc28POCtrlMuxl4.0=P0CtrlMuxl5.0=P0CtrlMuxl6.0=P0CtrlMuxl7.0=P0CtrlMux3.0=P0CtrlMux2.0=P0CtrlMcmRcad=POCtrlMux7.0=P0S()=POS1=POS2=CtrlMuxl

6、4.0=P0S3=CtrlMuxl5.0=P0S4=CtrlMuxl6.0=P0S5=CtrlMuxl7.0=P0S6=CtrlMux3.0=P0S7=CtrlMux2.0=P0S8=CtrlMemRead=POS9=CtrlMux7.0=P0S10=#PC=addrS11=#addr=0x00rsrtrd0x000x20PC=>Muxl4.0Muxl4=>ALU.AS12=PC=>Muxl4.0S13=CtrlMuxU.OS14=Muxl4=>ALU.AS15=#ALU.A=addr32M4=>Muxl5.0Muxl5=>ALU.BS16=32,d4=>Muxl5.0S17=Ctr

7、lMuxl5.0SI8=Muxl5^>ALU.BS19=#ALU.B=32'd46,b0l0010=>Muxl6.0Muxl6=>ALU.FuncS20=6,b010010=>Muxl6.0S21=CtrlMuxl6.0S22=Muxl6=>ALU.FuncS23=ALU.Func=6,b010010S24=#ALU=addr+32'd4ALU=>Muxl7.0Mux17=>ALUOut.InS25=ALU=>Muxl7.0S26=CtrlMuxU.OPC