{      T0v11a 
 V. Semenov  Aug. 6, 1995
             Sep 18, 1995}

external
   State? =0;

value
   Data? = >>A > (N(J1) + N(J3)),
   DRead? = >>DR > (N(J11) + N(J12)), 
   <<C = N(J2),
   <<S = N(J12);

rule init? (TCURR<2)
   State?=-1,
   Data?=-1,
   DRead?=-1,
   <<C = 0,
   <<S = 0,
   TCURR>5,
   State?=0;

external t_0_T_1? = 0;
rule 0_T_1? ((State? EQ 0) AND Data?)
   State?=-1,
   t_0_T_1? =(TCURR+DELAY),
   [inc(J1),
   inc(J2),
   inc(J4)],
   State? = 1,
   EXIT(SLOW,TCURR>t_0_T_1?);

external t_1_T_0? = 0;
rule 1_T_0? ((State? EQ 1) AND Data?)
   State? = -1,
   t_1_T_0? =(TCURR+DELAY),
  [inc(J3),
   inc(J5)],
   State? = 0,
   inc(J7),
   EXIT(SLOW,TCURR>t_1_T_0?);

external t_Read_0? = 0;
rule Read_0? (DRead? AND (State? EQ 0))
   State? = -1,
   t_Read_0? =(TCURR+DELAY),
   inc(J11),
   State? = 0,
   EXIT(SLOW,TCURR>t_Read_0?);

external t_Read_1? = 0;
rule Read_1? (DRead? AND (State? EQ 1))
   State? =-1,
   t_Read_1? =(TCURR+DELAY),
   inc(J12),
   State? =0,
   inc(J9),
   State? =0,
   EXIT(SLOW,TCURR>t_Read_1?);

{ end of T0v11a script }