home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 15 / 15.iso / s / s199 / 1.img / RESET22.ABL < prev    next >
Encoding:
Text File  |  1986-02-04  |  831 b   |  39 lines
  1. module _reset22
  2. title 'Demonstrates Asynchronous Reset and Synchronous Preset
  3. Dave Pellerin   FutureNet - Data I/O Corp   8 Nov 1985'
  4.  
  5.     reset22    device    'P22V10';
  6.  
  7.     Clk,I1,I2,R,S,T    Pin 1,2,3,4,5,6;
  8.     Q1,Q2        Pin 14,15;
  9.     reset,preset    Node 25,26;
  10.  
  11.     Q2,Q1        istype 'pos';
  12.     Ck,Z,H,L    = .C., .Z., 1, 0;
  13.     Input        = [I2,I1];
  14.     Output        = [Q2,Q1];
  15. equations
  16.  
  17.     Output := Input;     "Registered buffer
  18.  
  19.     reset     = R & !T;
  20.  
  21.     preset      = S & !T;
  22.  
  23. test_vectors
  24.        ([Clk,Input,R,S,T] -> Output)
  25.     [ Ck,  0  ,0,0,0] ->   0;
  26.     [ Ck,  1  ,0,0,0] ->   1;
  27.     [ Ck,  2  ,0,0,1] ->   2;
  28.     [ 0 ,  3  ,0,0,1] ->   2;    "Hold
  29.     [ Ck,  3  ,0,0,1] ->   3;
  30.  
  31.     [ 0 ,  3  ,1,0,1] ->   3;    "Reset = R & !T
  32.     [ 0 ,  3  ,1,0,0] ->   0;    "Async Reset
  33.  
  34.     [ 0 ,  0  ,0,1,0] ->   0;    "Preset requires clock
  35.     [ Ck,  0  ,0,1,0] ->   3;    "Sync Preset
  36.  
  37. end
  38.  
  39.