anchor.diff:        endmethod
   
         method Action reset();
  -	 stateReg <= Idle;
  -	 countReg <= 0;
  +          resetPulse.send();
         endmethod
   
         method Action setTriggerMask(Bit#(64) mask);
  
positive.code:    
        if(e && dfifo.notFull)
  	 dfifo.enq(data);
        if(t && tfifo.notFull)
  	 tfifo.enq(?);
        countReg <= c;
        stateReg <= s;
     endmethod
  
negative.code:       wchan.writeDone.get;
     endrule
     
     rule triggerRule if (triggeredPulse.pulse);
        indication.triggerFired;
     endrule
     
     method Action dataIn(Bit#(64) data, Bit#(64) trigger) if (stateReg != Idle);
  