mirror of
https://github.com/supleed2/ELEC40006-P1-CW.git
synced 2024-09-19 20:26:18 +00:00
23 lines
387 B
Coq
23 lines
387 B
Coq
module SM
|
|
(
|
|
input CLK,
|
|
input E2,
|
|
output FETCH,
|
|
output EXEC1,
|
|
output EXEC2
|
|
);
|
|
|
|
reg [2:0]s; //current state
|
|
|
|
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
|