mirror of
https://github.com/supleed2/ELEC40006-P1-CW.git
synced 2024-11-10 02:05:48 +00:00
23 lines
413 B
Coq
23 lines
413 B
Coq
|
module SM
|
||
|
|
(
|
||
|
|
input CLK,
|
||
|
|
input E2,
|
||
|
|
output FETCH,
|
||
|
|
output EXEC1,
|
||
|
|
output EXEC2
|
||
|
|
);
|
||
|
|
|
||
|
|
reg [2:0]s = 3'b1; //current state initialised to 001
|
||
|
|
|
||
|
|
always @(posedge CLK) //Change on rising edge of clock
|
||
|
|
begin
|
||
|
|
s[2] <= ~s[2] & s[1] & ~s[0] & E2;
|
||
|
|
s[1] <= ~s[2] & ~s[1] & s[0];
|
||
|
|
s[0] <= (~s[2] & s[1] & ~s[0] & ~E2) | (s[2] & ~s[1] & ~s[0]);
|
||
|
|
end
|
||
|
|
|
||
|
|
assign FETCH = s[0];
|
||
|
|
assign EXEC1 = s[1];
|
||
|
|
assign EXEC2 = s[2];
|
||
|
|
endmodule
|