-- MEG program
-- 7 November 2000
-- Xcounter should be enable-able
-- state bits are the output, as is LAST, which
-- is 1 when counter=111

INPUTS: RESTART ENABLE;
OUTPUTS: LAST;

RESET ON RESTART TO state0;

state0: case (ENABLE)
          0 => state0;
          1 => state1;
        endcase => ANY;

state1: case (ENABLE)
          0 => state1;
          1 => state2;
        endcase => ANY;

state2: case (ENABLE)
          0 => state2;
          1 => state3;
        endcase => ANY;

state3: case (ENABLE)
          0 => state3;
          1 => state4;
        endcase => ANY;

state4: case (ENABLE)
          0 => state4;
          1 => state5;
        endcase => ANY;

state5: case (ENABLE)
          0 => state5;
          1 => state6;
        endcase => ANY;

state6: case (ENABLE)
          0 => state6;
          1 => state7 (LAST);
        endcase => ANY;

state7: case (ENABLE)
          0 => state7 (LAST);
          1 => state0;
        endcase => ANY;