Fsm1s

This is a Moore state machine with two states, one input, and one output. Implement this state machine. Notice that the reset state is B.

This exercise is the same as fsm1, but using synchronous reset.

// Note the Verilog-1995 module declaration syntax here:
module top_module(clk, reset, in, out);
    input clk;
    input reset;    // Synchronous reset to state B
    input in;
    output out;//  
    reg out;

    // Fill in state name declarations

    reg present_state, next_state;
    
    parameter A = 0;
    parameter B = 1;

    always @(posedge clk) begin
        if (reset) begin  
            // Fill in reset logic
            present_state = B;
            out <= B;
        end else begin
            case (present_state)
                // Fill in state transition logic
                B:
                    if(in)
                        next_state = B;
                    else
                        next_state = A;
                A:
                    if(in)
                        next_state = A;
                    else
                        next_state = B;
                default:
                        next_state = B;
            endcase

            // State flip-flops
            present_state = next_state;   

            case (present_state)
                // Fill in output logic
                default:
                    out <= present_state;
            endcase
        end
    end

endmodule
 

注意阻塞赋值与非阻塞赋值，当前状态和下一状态这两个变量