S0	input.v	/^  S0 = 2'h0,$/;"	c
S1	input.v	/^  S1 = 2'h1,$/;"	c
S2	input.v	/^  S2 = 2'h2,$/;"	c
S3	input.v	/^  S3 = 2'h3;$/;"	c
next_state	input.v	/^reg [1:0] \/* synopsys enum state_info *\/ next_state;$/;"	r
state	input.v	/^reg [1:0] \/* synopsys enum state_info *\/ state;$/;"	r
