CTSTATE State Machine Tables

  This is a truth table for the CTSTATE module. The Present State is
  defined via the four variables, L, K, l and k. The Present Inputs
  are S and W.

     Present State    Next             Present State    Next

      S W L K l k     L K l k           S W L K l k     L K l k
      -----------------------           -----------------------
	  0 0 0 0 0 0  |  0 0 0 0           1 0 0 0 0 0  |  0 1 0 x
	  0 0 0 0 0 1  |  0 0 0 0           1 0 0 0 0 1  |  0 0 0 1
	  0 0 0 0 1 0  |  0 0 0 0           1 0 0 0 1 0  |  0 1 0 x
	  0 0 0 0 1 1  |  0 0 0 0           1 0 0 0 1 1  |  0 0 0 1
	  0 0 0 1 0 0  |  0 0 0 1           1 0 0 1 0 0  |  0 0 0 1
	  0 0 0 1 0 1  |  0 0 0 1           1 0 0 1 0 1  |  0 0 0 1
	  0 0 0 1 1 0  |  0 0 0 1           1 0 0 1 1 0  |  0 0 0 1
	  0 0 0 1 1 1  |  0 0 0 1           1 0 0 1 1 1  |  0 0 0 1
	  0 0 1 0 0 0  |  1 1 x 0           1 0 1 0 0 0  |  1 1 x 0
	  0 0 1 0 0 1  |  1 1 x 0           1 0 1 0 0 1  |  1 1 x 1
	  0 0 1 0 1 0  |  1 1 x 0           1 0 1 0 1 0  |  1 1 x 0
	  0 0 1 0 1 1  |  1 1 x 0           1 0 1 0 1 1  |  1 1 x 1
	  0 0 1 1 0 0  |  0 0 1 0           1 0 1 1 0 0  |  0 0 1 0
	  0 0 1 1 0 1  |  0 0 1 0           1 0 1 1 0 1  |  0 0 1 1
	  0 0 1 1 1 0  |  0 0 1 0           1 0 1 1 1 0  |  0 0 1 0
	  0 0 1 1 1 1  |  0 0 1 0           1 0 1 1 1 1  |  0 0 1 1
	  0 1 0 0 0 0  |  1 0 x 0           1 1 0 0 0 0  |  1 0 x 0
	  0 1 0 0 0 1  |  1 0 x 0           1 1 0 0 0 1  |  1 0 x 1
	  0 1 0 0 1 0  |  0 0 1 0           1 1 0 0 1 0  |  0 1 1 x
	  0 1 0 0 1 1  |  0 0 1 0           1 1 0 0 1 1  |  0 0 1 1
	  0 1 0 1 0 0  |  0 0 0 1           1 1 0 1 0 0  |  0 0 0 1
	  0 1 0 1 0 1  |  0 0 0 1           1 1 0 1 0 1  |  0 0 0 1
	  0 1 0 1 1 0  |  0 0 1 1           1 1 0 1 1 0  |  0 0 1 1
	  0 1 0 1 1 1  |  0 0 1 1           1 1 0 1 1 1  |  0 0 1 1
	  0 1 1 0 0 0  |  1 1 x 0           1 1 1 0 0 0  |  1 1 x 0
	  0 1 1 0 0 1  |  1 1 x 0           1 1 1 0 0 1  |  1 1 x 1
	  0 1 1 0 1 0  |  1 1 x 0           1 1 1 0 1 0  |  1 1 x 0
	  0 1 1 0 1 1  |  1 1 x 0           1 1 1 0 1 1  |  1 1 x 1
	  0 1 1 1 0 0  |  0 0 1 0           1 1 1 1 0 0  |  0 0 1 0
	  0 1 1 1 0 1  |  0 0 1 0           1 1 1 1 0 1  |  0 0 1 1
	  0 1 1 1 1 0  |  0 0 1 0           1 1 1 1 1 0  |  0 0 1 0
	  0 1 1 1 1 1  |  0 0 1 0           1 1 1 1 1 1  |  0 0 1 1

  These are the Karno maps associated with the CTSTATE module and
  the equations derived therefrom.

         L 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
    L    K 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0
         l 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0
         k 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0
      SW +--------------------------------
      00 | 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1         _       _
      01 | 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1    L+ = K ( L + lW )
      11 | 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1
      10 | 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1
         +--------------------------------
         L                ----------------
         K        ----------------
         l    --------        --------    
         k  ----    ----    ----    ----  

         L 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
    K    K 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0
         l 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0
         k 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0
      SW +--------------------------------
      00 | 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1         _        _   _
      01 | 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1    K+ = K ( L + Sk ( W + l ) )
      11 | 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1
      10 | 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1
         +--------------------------------

         L 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
    l    K 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0
         l 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0
         k 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0
      SW +--------------------------------
      00 | 0 0 0 0 0 0 0 0 1 1 1 1 x x x x
      01 | x x 1 1 1 1 0 0 1 1 1 1 x x x x     l+ = L + l W
      11 | x x 1 1 1 1 0 0 1 1 1 1 x x x x
      10 | 0 0 0 0 0 0 0 0 1 1 1 1 x x x x
         +--------------------------------

         L 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
    k    K 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0
         l 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0
         k 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0
      SW +--------------------------------
      00 | 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0          _
      01 | 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0     k+ = LK + Sk
      11 | 0 1 1 x 1 1 1 1 0 1 1 0 0 1 1 0
      10 | x 1 1 x 1 1 1 1 0 1 1 0 0 1 1 0
         +--------------------------------