FSM

 

In above code you have maded two always{procedural} blocks because your “y” {past state} is a level sensitive in first always block and negedge clk is the edge triggered in your second always procedural block therefore,it is a rule you can’t write both edge triggered as well as level triggered in same sensitivity list.