home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 15 / 15.iso / s / s199 / 1.img / IFIF.ABL < prev    next >
Encoding:
Text File  |  1986-02-04  |  622 b   |  34 lines
  1. module ifif    flag '-r3'
  2. title 'nested IF THEN ELSE
  3. Dave Pellerin         Data I/O     Redmond Wa       12 Oct 1984'
  4.     UFO    device 'P16R6';
  5.  
  6.     Clk,A,B,C,OE        Pin 1,2,3,4,11;
  7.     Q17,Q16,Q15,Q14        Pin 17,16,15,14;
  8.  
  9. state_diagram [Q15,Q14];
  10.  
  11.     State 0:    goto 3;
  12.  
  13.     State 1:    goto 3;
  14.  
  15.     State 2:    goto 3;
  16.  
  17.     State 3:    if A then 2 else if B then 1 else 0;
  18.  
  19. test_vectors
  20.        ([Clk, A, B,OE] -> [Q15,Q14])
  21.     [.C., 0, 0, 0] ->    0;
  22.     [.C., 0, 0, 0] ->    3;
  23.  
  24.     [.C., 0, 1, 0] ->    1;
  25.     [.C., 0, 1, 0] ->    3;
  26.  
  27.     [.C., 1, 0, 0] ->    2;
  28.     [.C., 1, 0, 0] ->    3;
  29.  
  30.     [.C., 1, 1, 0] ->    2;
  31.     [.C., 1, 1, 0] ->    3;
  32.  
  33. end ifif
  34.