anchor.diff:  	FIFOF#(void) stimMemPendRead <- mkFIFOF;  // to enforce order on responses
   	Reg#(Bit#(TAdd#(StimMemAddrSize, 1))) stimMemSize <- mkReg(0);
   	Reg#(Bit#(TAdd#(StimMemAddrSize, 1))) stimIndex <- mkReg(0);
  -
   	FIFOF#(Stim) stimFromMem <- mkBypassFIFOF;
  -	RWire#(Stim) stimFromMemFirst <- mkRWire;
   
   	ProgrammableCycleCounter#(AvalonDataSize) wordBoundary <-
   		mkProgrammableCycleCounter(fromInteger(defaultWordPeriod));
  
positive.code: 		stimIndex <= stimIndex + 1;
  	endrule
  
  	(* fire_when_enabled *)
  	rule feedStimOut;
  		stimOut.wset(fromMaybe(stimFifo.first, stimFromMemFirst.wget));
  	endrule
  
  	(* fire_when_enabled, no_implicit_conditions *)
  	rule checkStimOutValid(acqStarted);
  		if (!isValid(stimOut.wget)) begin
  			led.errorCondition[2].set;
  		end
  	endrule
  
  	method Stim stimuli = fromMaybe(0, stimOut.wget);
  
  	interface irqWires = irqSender(acqFifo.notEmpty);
  	interface avalonWires = avalon.slaveWires;
  
negative.code: 							stimFifo.clear;
  							word[1] <= 0;
  							stimMemSize <= 0;
  							stimOut[2] <= 0;
  						end
  					endaction
  				tagged AvalonRequest{addr: 0, data: .*, command: Read}:
  