anchor.diff:  
       rule testStart if (state == TbAxiStart);
           state <= TbAxiRunning;
  -
  +        $display("Test 1 Starting");
           axiTester.start(0, numWords);
       endrule
   
  
positive.code:     Reg#(Bit#(32)) writeAddrReg <- mkReg(0);
      Reg#(Bit#(32)) readAddrReg <- mkReg(0);
  
      Reg#(Bit#(32)) writeCountReg <- mkReg(0);
      Reg#(Bit#(32)) readCountReg <- mkReg(0);
      Reg#(Bit#(32)) numWordsReg <- mkReg(0);
      Reg#(Bit#(busWidth)) valueReg <- mkReg(13);
  
      RegFile#(Bit#(32), Bit#(busWidth)) testDataRegFile <- mkRegFile(0, numWords);
  
      rule enqTestData if (state == EnqWrites && writeCountReg < numWordsReg);
          let v = valueReg << 3 + 17;
          valueReg <= v;
          testDataRegFile.upd(writeAddrReg/fromInteger(valueOf(busWidthBytes)), v);
          writeAddrReg <= writeAddrReg + fromInteger(valueOf(busWidthBytes));
          if (writeCountReg == numWordsReg-1)
              state <= WaitForWriteCompletion;
          writeCountReg <= writeCountReg + 1;
          fifoToAxi.enq(v);
      endrule
  
  
negative.code:         writeCountReg <= 0;
          readCountReg <= 0;
          valueReg <= 13;
          numWordsReg <= truncate(numWords);
  
          fifoToAxi.base <= base;
          fifoFromAxi.base <= base;
  