anchor.diff:     
         if(e && dfifo.notFull)
   	 dfifo.enq(data);
  -      if(t && tfifo.notFull)
  -	 tfifo.enq(?);
  +      if(t)
  +	 triggeredPulse.send();
         countReg <= c;
         stateReg <= s;
      endmethod
  
positive.code:       endmethod
  
        method Action reset();
  	 stateReg <= Idle;
  	 countReg <= 0;
        endmethod
  
        method Action setTriggerMask(Bit#(64) mask);
  
negative.code: 
  module mkSyncBlueScopeInternal#(Integer samples, WriteChan wchan, BlueScopeIndication indication, Clock sClk, Reset sRst, Clock dClk, Reset dRst)(BlueScopeInternal);
     SyncFIFOIfc#(Bit#(64)) dfifo <- mkSyncBRAMFIFO(samples, sClk, sRst, dClk, dRst);
     Reg#(Bit#(64))    maskReg <- mkSyncReg(0, dClk, dRst, sClk);
     Reg#(Bit#(64))   valueReg <- mkSyncReg(0, dClk, dRst, sClk);
     Reg#(Bit#(1))          triggeredReg <- mkReg(0,    clocked_by sClk, reset_by sRst);   
     Reg#(State)                stateReg <- mkReg(Idle, clocked_by sClk, reset_by sRst);
     Reg#(Bit#(32))             countReg <- mkReg(0,    clocked_by sClk, reset_by sRst);
     //FIFOF#(void)                  tfifo <- mkFIFOF(    clocked_by sClk, reset_by sRst);
     SyncPulseIfc             resetPulse <- mkSyncPulse(dClk, dRst, sClk);
     SyncPulseIfc         triggeredPulse <- mkSyncPulse(sClk, sRst, dClk);
     
     rule resetState if (resetPulse.pulse);
        stateReg <= Idle;
        countReg <= 0;
     endrule
  
     rule writeReq if (dfifo.notEmpty);
        wchan.writeReq.put(?);
     endrule
     
  