Write and verify an HDL behavioral description of the machine described as follows: A sequential circuit with two D flip-flops A and B, and one input x_in, When x_in = 0, the state of the circuit remains the same. When x_in =1, the circuit goes through the state transitions from 00 to 11, to 01, to 10, back to 00, and repeats.