anchor.diff:           // indicate activity type
            if (is_config_read)                     is_read.send();
            if (is_config_write || is_dma_command)  is_write.send();
  -         if (is_axi_read)                        is_axi_read_pw.send();
  -         if (is_axi_write)                       is_axi_write_pw.send();
            if (is_dma_completion)                  is_completion.send();
         end
         else begin
  
positive.code:                tlp_in_axi_fifo.enq(tlp);
                 if (!tlp.eof)
                    route_to_axi <= True;
  	       is_axi_tlp_pw.send();
              end
           end
           else if (is_dma_command || is_dma_completion) begin
  
negative.code:    Reg#(Bool) route_to_dma <- mkReg(False);
     Reg#(Bool) route_to_axi <- mkReg(False);
  
     Reg#(Bool) axiEnabledReg <- mkReg(False);
  
     PulseWire is_read       <- mkPulseWire();
     PulseWire is_write      <- mkPulseWire();
     PulseWire is_completion <- mkPulseWire();
  
     (* fire_when_enabled *)
  