4 module fsm_test(clk, reset, button_a, button_b, red_a, green_a, red_b, green_b);
6 input clk, reset, button_a, button_b;
7 output reg red_a, green_a, red_b, green_b;
9 (* gentb_constant = 0 *)
16 always @(posedge clk, posedge reset)
32 if (button_a && !button_b)
34 if (!button_a && button_b)