60 lines
1.5 KiB
Coq
60 lines
1.5 KiB
Coq
|
|
||
|
|
module ALUControl(
|
||
|
|
input [4 -1:0] ALUOp ,
|
||
|
|
input [6 -1:0] Funct ,
|
||
|
|
output reg [5 -1:0] ALUCtl ,
|
||
|
|
output Sign
|
||
|
|
);
|
||
|
|
|
||
|
|
|
||
|
|
// funct number for different operation
|
||
|
|
parameter aluAND = 5'b00000;
|
||
|
|
parameter aluOR = 5'b00001;
|
||
|
|
parameter aluADD = 5'b00010;
|
||
|
|
parameter aluSUB = 5'b00110;
|
||
|
|
parameter aluSLT = 5'b00111;
|
||
|
|
parameter aluNOR = 5'b01100;
|
||
|
|
parameter aluXOR = 5'b01101;
|
||
|
|
parameter aluSLL = 5'b10000;
|
||
|
|
parameter aluSRL = 5'b11000;
|
||
|
|
parameter aluSRA = 5'b11001;
|
||
|
|
parameter aluMUL = 5'b11010; //mul
|
||
|
|
|
||
|
|
// Sign means whether the ALU treats the input as a signed number or an unsigned number
|
||
|
|
assign Sign = (ALUOp[2:0] == 3'b010)? ~Funct[0]: ~ALUOp[3];
|
||
|
|
|
||
|
|
// set aluFunct
|
||
|
|
reg [4:0] aluFunct;
|
||
|
|
always @(*)
|
||
|
|
case (Funct)
|
||
|
|
6'b00_0000: aluFunct <= aluSLL;
|
||
|
|
6'b00_0010: aluFunct <= aluSRL;
|
||
|
|
6'b00_0011: aluFunct <= aluSRA;
|
||
|
|
6'b10_0000: aluFunct <= aluADD;
|
||
|
|
6'b10_0001: aluFunct <= aluADD;
|
||
|
|
6'b10_0010: aluFunct <= aluSUB;
|
||
|
|
6'b10_0011: aluFunct <= aluSUB;
|
||
|
|
6'b10_0100: aluFunct <= aluAND;
|
||
|
|
6'b10_0101: aluFunct <= aluOR;
|
||
|
|
6'b10_0110: aluFunct <= aluXOR;
|
||
|
|
6'b10_0111: aluFunct <= aluNOR;
|
||
|
|
6'b10_1010: aluFunct <= aluSLT;
|
||
|
|
6'b10_1011: aluFunct <= aluSLT;
|
||
|
|
default: aluFunct <= aluADD;
|
||
|
|
endcase
|
||
|
|
|
||
|
|
// set ALUCtrl
|
||
|
|
always @(*)
|
||
|
|
case (ALUOp[2:0])
|
||
|
|
3'b000: ALUCtl <= aluADD;
|
||
|
|
3'b001: ALUCtl <= aluSUB;
|
||
|
|
3'b100: ALUCtl <= aluAND;
|
||
|
|
3'b101: ALUCtl <= aluSLT;
|
||
|
|
3'b010: ALUCtl <= aluFunct;
|
||
|
|
3'b110: ALUCtl <= aluMUL; //mul
|
||
|
|
default: ALUCtl <= aluADD;
|
||
|
|
endcase
|
||
|
|
|
||
|
|
|
||
|
|
endmodule
|