home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 15 / 15.iso / s / s199 / 1.img / COMP4ROM.ABL < prev    next >
Encoding:
Text File  |  1986-02-04  |  1.6 KB  |  55 lines
  1. module comp4rom flag '-d82'
  2. title '4-bit look-ahead comparator 
  3. Charles Olivier & Mary Bailey    Data I/O Corp.   16 Mar 1984'
  4.  
  5.     IC1R    device 'RA8P4';
  6.  
  7.     A3,A2,A1,A0    pin    1,2,3,4;
  8.     B3,B2,B1,B0    pin    5,6,7,15;
  9.     A_NE_B,A_EQ_B    pin    9,10;
  10.     A_GT_B,A_LT_B    pin    11,12;
  11.     ena        pin    14;
  12.  
  13.     No,Yes    = 0,1;
  14.     A    = [A3,A2,A1,A0];
  15.     B    = [B3,B2,B1,B0];
  16.  
  17. equations
  18.     A_EQ_B    = A == B;
  19.  
  20.     A_NE_B    = A != B;
  21.  
  22.     A_GT_B    = A > B;
  23.  
  24.     A_LT_B    = A < B;
  25.  
  26. test_vectors " 'test for A = B'
  27.        ([ A, B] -> [A_EQ_B, A_GT_B, A_LT_B, A_NE_B])
  28.     [ 0, 0] -> [ Yes  ,   No  ,   No  ,   No  ];
  29.     [ 1, 1] -> [ Yes  ,   No  ,   No  ,   No  ];
  30.     [ 2, 2] -> [ Yes  ,   No  ,   No  ,   No  ];
  31.     [ 5, 5] -> [ Yes  ,   No  ,   No  ,   No  ];
  32.     [ 8, 8] -> [ Yes  ,   No  ,   No  ,   No  ];
  33.     [10,10] -> [ Yes  ,   No  ,   No  ,   No  ];
  34.     [15,15] -> [ Yes  ,   No  ,   No  ,   No  ];
  35.  
  36. test_vectors " 'test for A > B'
  37.        ([ A, B] -> [A_EQ_B, A_GT_B, A_LT_B, A_NE_B])
  38.     [ 1, 0] -> [  No  ,  Yes  ,   No  ,  Yes  ];
  39.     [ 2, 1] -> [  No  ,  Yes  ,   No  ,  Yes  ];
  40.     [ 4, 3] -> [  No  ,  Yes  ,   No  ,  Yes  ];
  41.     [ 8, 7] -> [  No  ,  Yes  ,   No  ,  Yes  ];
  42.     [15,14] -> [  No  ,  Yes  ,   No  ,  Yes  ];
  43.     [ 6, 2] -> [  No  ,  Yes  ,   No  ,  Yes  ];
  44.     [ 5, 0] -> [  No  ,  Yes  ,   No  ,  Yes  ];
  45.  
  46. test_vectors " 'test for A < B'
  47.        ([ A, B] -> [A_EQ_B, A_GT_B, A_LT_B, A_NE_B])
  48.     [ 3, 9] -> [  No  ,   No  ,  Yes  ,  Yes  ];
  49.     [14,15] -> [  No  ,   No  ,  Yes  ,  Yes  ];
  50.     [ 7, 8] -> [  No  ,   No  ,  Yes  ,  Yes  ];
  51.     [ 3, 4] -> [  No  ,   No  ,  Yes  ,  Yes  ];
  52.     [ 2, 8] -> [  No  ,   No  ,  Yes  ,  Yes  ];
  53. end comp4rom
  54.  
  55.