CHIP StateMachine
{
    IN reset;
    OUT state[2];

PARTS:

    Or(a = reset, b = reset, out = c1);
    Not(in = c1, out = l1);
    Not(in = l1, out = l2);

    FullAdder(a = l2, b = l1, c = s1, sum = a1);
    FullAdder(a = a1, b = l1, c = s2, sum = a2);

    Mux(a = a1, sel = reset, out = o1);
    Mux(a = a2, sel = reset, out = o2);

    DFF(in = o1, out = s1, out = d1);
    DFF(in = o2, out = s2, out = d2);
    Mux(a = d1, b = l1, sel = reset, out = state[0]);
    Mux(a = d2, b = l1, sel = reset, out = state[1]);
}