1 // Taken from http://www.europa.com/~celiac/fsm_samp.html
3 // These are the symbolic names for states
4 parameter [1:0] //synopsys enum state_info
10 // These are the current state and next state variables
11 reg [1:0] /* synopsys enum state_info */ state
;
12 reg [1:0] /* synopsys enum state_info */ next_state
;
15 // synopsys state_vector state
17 always @ (state
or y
or x
)
20 case (state
) // synopsys full_case parallel_case
53 always @ (posedge clk
or posedge reset
)