maquinaMesi.v.bak

module maquinaMESI(Clk, w_enable,noShared, Test_CPU, Hit_Instrucao, Estado_Inicial, RM, WM, Invalid, WB, New_Estado); 
	input Clk, w_enable, Test_CPU, Hit_Instrucao,noShared;
	input [1:0] Estado_Inicial;		    	
	output reg RM, WM, Invalid, WB;
	output reg [1:0]New_Estado;		

	
	reg [1:0]bloco_instruction;
	reg [4:0]tag, tag_instruction;
	
	always@(posedge Clk)
	begin
	if(Test_CPU)
		begin
			if(w_enable)
				case(Estado_Inicial)
					2'b01: 	//Invalido: I
						begin
							RM = 0;
							WM = 1;
							Invalid = 0;
							WB = 0;
							New_Estado = 2'b11;
						end
					2'b10: 	//Shared: S
						begin
									if(Hit_Instrucao)// write hit
										begin
											RM = 0;
											WM = 0;
											Invalid = 1;
											WB = 0;
											New_Estado = 2'b11;
										end
									else // write miss
										begin
											RM = 0;
											WM = 1;
											Invalid = 0;
											WB = 0;
											New_Estado = 2'b11;
										end	
						end
					2'b11: 	//Modified: M	
						begin
										if(Hit_Instrucao) // write hit
											begin
												RM = 0;
												WM = 0;
												Invalid = 0;
												WB = 0;
												New_Estado = 2'b11;
											end
										else // write miss
											begin
												RM = 0;
												WM = 1;
												Invalid = 0;
												WB = 1;
												New_Estado = 2'b11;
											end	
							end
						2'b00: 	//Exclusivo E
							begin
								if(Hit_Instrucao) // write hit
									begin
										RM = 0;
										WM = 0;
										Invalid = 0;
										WB = 0;
										New_Estado = 2'b11;
									end
								else // write miss
											begin
												RM = 0;
												WM = 1;
												Invalid = 0;
												WB = 0;
												New_Estado = 2'b11;
											end		
							end
				endcase
			else
				case(Estado_Inicial)
						2'b00: 	//Exclusivo E
							begin
								if(Hit_Instrucao) // read hit
										begin
											RM = 0;
											WM = 0;
											Invalid = 0;
											WB = 0;
											New_Estado = 2'b00;
										end
									else // read miss
											begin
												RM = 1;
												WM = 0;
												Invalid = 0;
												WB = 0;
												New_Estado = 2'b10;
											end

							
							end
					2'b01: 	//Invalido: I
						begin
							RM = 1;
							WM = 0;
							Invalid = 0;
							WB = 0;
							if(noShared)
								New_Estado = 2'b00;
							else
								New_Estado = 2'b10;
						end
					2'b10: 	//Shared: S	
						begin
									if(Hit_Instrucao) // read hit
										begin
											RM = 0;
											WM = 0;
											Invalid = 0;
											WB = 0;
											New_Estado = 2'b10;
										end
									else // read miss
										begin
											RM = 1;
											WM = 0;
											Invalid = 0;
											WB = 0;
											New_Estado = 2'b10;
										end
									end
					2'b11: 	//Modified: M	
						begin

										if(Hit_Instrucao) // read hit
											begin
												RM = 0;
												WM = 0;
												Invalid = 0;
												WB = 0;
												New_Estado = 2'b11;
											end
										else // read miss
											begin
												RM = 1;
												WM = 0;
												Invalid = 0;
												WB = 1;
												New_Estado = 2'b10;
											end

						end
						
				endcase	
			
		end
	else 
		begin
			RM = 0;
			WM = 0;
			Invalid = 0;
			WB = 0;
			New_Estado = Estado_Inicial;
		end
	end
	

endmodule