home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 15 / 15.iso / s / s199 / 1.img / FINDOUT.ABL < prev    next >
Encoding:
Text File  |  1986-02-04  |  379 b   |  24 lines
  1. module findout  flag '-t1'
  2.  
  3. title 'The ABEL simulator will find the output levels
  4. Ngoc Nicholas   FutureNet - Data I/O    8 Nov 1985'
  5.  
  6.     F1    device 'P16L8';
  7.  
  8.     A,B,Y1,Y2    pin 1,2,14,15;
  9.  
  10.     X = .X.;
  11.  
  12. equations
  13.  
  14.     !Y1 = A # B;
  15.     !Y2 = A $ B;
  16.  
  17. test_vectors   
  18.        ([A,B] -> [Y1,Y2])
  19.     [0,0] -> [ X, X];
  20.     [0,1] -> [ X, X];
  21.     [1,0] -> [ X, X];
  22.     [1,1] -> [ X, X];
  23. end
  24.