home *** CD-ROM | disk | FTP | other *** search
/ ARM Club 1 / ARM_CLUB_CD.iso / contents / education / a / fsm_des / fsm_funcs / ex_4
Text File  |  1991-04-26  |  3KB  |  77 lines
  1.  
  2.    Boolean functions
  3.    *****************
  4.  
  5. Filename : adfs::Winnie.$.!Documents.!.FSM.fsm_data.Example *
  6. Model    : Mealy
  7.  
  8. NB:- Functions are output as sums of products.
  9.    - Each term is defined in a sequence of 7 variables :
  10.        4 inputs (xn..x0) followed by 3 flip flop values (Yn..Y0)
  11.  
  12. Canonical form :
  13.  
  14.     y 2 = 0000000 + 0000100 + 0000010 + 1000000 + 0100000 + 0010000 + 0000110
  15.         + 0000101 + 1000100 + 0100100 + 0010100 + 1000010 + 0100010 + 0010010
  16.         + 1100000 + 1010000 + 0110000 + 1000110 + 0100110 + 0010110 + 0001110
  17.         + 1000101 + 0100101 + 0010101 + 1100100 + 1010100 + 0110100 + 1100010
  18.         + 1010010 + 0110010 + 1110000 + 1100110 + 1010110 + 1001110 + 0110110
  19.         + 0101110 + 0011110 + 1100101 + 1010101 + 0110101 + 1110100 + 1110010
  20.         + 1110110 + 1101110 + 1011110 + 0111110 + 1110101 + 1111110
  21.  
  22.     y 1 = 0000000 + 0000100 + 0000010 + 1000000 + 0100000 + 0010000 + 0000110
  23.         + 1000100 + 0100100 + 0010100 + 0001100 + 0000011 + 1000010 + 0100010
  24.         + 0010010 + 1100000 + 1010000 + 0110000 + 1000110 + 0100110 + 0010110
  25.         + 0001101 + 1100100 + 1010100 + 1001100 + 0110100 + 0101100 + 0011100
  26.         + 1000011 + 0100011 + 0010011 + 1100010 + 1010010 + 0110010 + 1110000
  27.         + 1100110 + 1010110 + 0110110 + 1001101 + 0101101 + 0011101 + 1110100
  28.         + 1101100 + 1011100 + 0111100 + 1100011 + 1010011 + 0110011 + 1110010
  29.         + 1110110 + 1101101 + 1011101 + 0111101 + 1111100 + 1110011 + 1111101
  30.        
  31.  
  32.     y 0 = 0001000 + 0001100 + 0001010 + 0001001 + 1001000 + 0101000 + 0011000
  33.         + 0001110 + 0001101 + 1001100 + 0101100 + 0011100 + 0001011 + 1001010
  34.         + 0101010 + 0011010 + 1001001 + 0101001 + 0011001 + 1101000 + 1011000
  35.         + 0111000 + 1001110 + 0101110 + 0011110 + 1001101 + 0101101 + 0011101
  36.         + 1101100 + 1011100 + 0111100 + 1001011 + 0101011 + 0011011 + 1101010
  37.         + 1011010 + 0111010 + 1101001 + 1011001 + 0111001 + 1111000 + 1101110
  38.         + 1011110 + 0111110 + 1101101 + 1011101 + 0111101 + 1111100 + 1101011
  39.         + 1011011 + 0111011 + 1111010 + 1111001 + 1111110 + 1111101 + 1111011
  40.        
  41.  
  42.     Z 0 = 0001000 + 0001010 + 0001001 + 1001000 + 0101000 + 0011000 + 0001011
  43.         + 1001010 + 0101010 + 0011010 + 1001001 + 0101001 + 0011001 + 1101000
  44.         + 1011000 + 0111000 + 1001011 + 0101011 + 0011011 + 1101010 + 1011010
  45.         + 0111010 + 1101001 + 1011001 + 0111001 + 1111000 + 1101011 + 1011011
  46.         + 0111011 + 1111010 + 1111001 + 1111011
  47.  
  48.  
  49.  
  50.  
  51.  
  52.  
  53.    Boolean functions
  54.    *****************
  55.  
  56. Filename : adfs::Winnie.$.!Documents.!.FSM.fsm_data.Example *
  57. Model    : Mealy
  58.  
  59. NB:- Functions are output as sums of products.
  60.    - Each term is defined in a sequence of 7 variables :
  61.        4 inputs (xn..x0) followed by 3 flip flop values (Yn..Y0)
  62.  
  63. Canonical form :
  64.  
  65.     y 2 = xxx0xx0 + xxx010x + xxxx110
  66.  
  67.     y 1 = xxx0xx0 + xxx001x + xxx110x
  68.  
  69.     y 0 = xxx10xx + xxx1x0x + xxx1xx0
  70.  
  71.     Z 0 = xxx10xx
  72.  
  73.  
  74.  
  75.  
  76.  
  77. TIME TAKEN = 70 secs