State: Idle (0)

   SWTTORAM=	/F2*F1*/F0*GOSYNC
   MARCNT=	/F2*/F1*F0*GOSYNC+
	/F2*F1*/F0*GOSYNC
   MARLOAD=	/F2*/F1*/F0*GOSYNC
   REGTORAM=	/F2*F1*F0*/GOSYNC*FLAG
   WE=	/F2*F1*/F0*GOSYNC+
	/F2*F1*F0*/GOSYNC*FLAG
   CLRFLAG=	/F2*F1*F0*/GOSYNC*FLAG
   REGLOAD=	/F2*/F1*F0*GOSYNC+
	/F2*F1*F0*/GOSYNC*FLAG

   Goto  Idle (0) on:/F2*F1*F0*/GOSYNC*/FLAG
   Goto  ClearMar (1) on:/F2*F1*F0*/GOSYNC*FLAG
   Goto  ClearMar (1) on:F1*F0*GOSYNC+
	F2*GOSYNC
   Goto  Idle (0) on:/F2*/F1*/F0*GOSYNC
   Goto  Idle (0) on:/F2*/F1*F0*GOSYNC
   Goto  Idle (0) on:/F2*F1*/F0*GOSYNC
   Goto  Idle (0) on:F2*/GOSYNC+
	/F1*/GOSYNC+
	/F0*/GOSYNC

State: ClearMar (1)

   REGLOAD=	MARCAR
   CLRFLAG=	MARCAR
   MARCNT=	/MARCAR
   DOWNCNT=	1

   Goto  ClearMar (1) on:/MARCAR
   Goto  FindMax (2) on:/F2*MARCAR
   Goto  StartSor (3) on:F2*MARCAR

State: FindMax (2)

   MARCNT=	/FLAG
   SETFLAG=	/FLAG*MARCAR
   REGLOAD=	/RAMLREG+
	FLAG

   Goto  FindMax (2) on:/FLAG
   Goto  Idle (0) on:FLAG

State: StartSor (3)

   MARCNT2=	/MARCAR*/RAMLREG
   REGLOAD2=	/MARCAR+
	RAMLREG

   Goto  Swap (4) on:RAMLREG
   Goto  Idle (0) on:/FLAG*MARCAR*/RAMLREG
   Goto  ClearMar (1) on:FLAG*MARCAR*/RAMLREG
   Goto  StartSor (3) on:/MARCAR*/RAMLREG

State: Swap (4)

   REGTORAM=	1
   DOWNCNT=	1
   MARCNT2=	1
   REGLOAD2=	1
   WE=	1

   Goto  Swap2 (5) on:1

State: Swap2 (5)

   REGTORAM=	1
   SETFLAG=	1
   MARCNT2=	1
   WE=	1

   Goto  StartSor (3) on:1

<<<Hidden States>>>


State:     6

   Goto Swap2 (5) on:FLAG
   Goto     7 on:/FLAG

State:     7

   Goto StartSor (3) on:/RAMLREG
   Goto     7 on:RAMLREG