anchor.diff:  		stimFromMem.deq;
   	endrule
   
  -	(*descending_urgency="queryStimMem,jtag_get_addr"*)
  -	rule jtag_get_addr;
  +	rule jtag_get_addr(acqStarted);
   		let stimIndex <- jtag_addr.get;
  -		stimMem.portA.request.put(BRAMRequest{
  +		stimMem.portB.request.put(BRAMRequest{
   			write: False,
   			address: stimIndex,
   			datain: ?,
  
positive.code: 				tagged AvalonRequest{addr: .*, data: .*, command: Read}:
  					avalon.busClient.response.put(32'hBADC0FFE);
  			endcase
  		end else begin
  			if(cmd.command == Read)
  				stimMemPendRead.enq(?);
  			stimMem.portB.request.put(BRAMRequest{
  
negative.code: 		});
  	endrule
  
  	rule jtag_put_data(acqStarted);
  		let data <- stimMem.portB.response.get;
  		jtag_data.put(data);
  	endrule
  
  