anchor.diff:    Reg#(Bit#(32)) aLenReg <- mkReg(0);
     Reg#(Bit#(32)) bLenReg <- mkReg(0);
     Reg#(Bit#(32)) rLenReg <- mkReg(0);
  -  Reg#(Bit#(32)) copyCountReg <- mkReg(0);
  +  Reg#(Bit#(32)) ii <- mkReg(0);
     
      BRAM2Port#(StringIdx, Char) strA  <- mkBRAM2Server(defaultValue);
      BRAM2Port#(StringIdx, Char) strB <- mkBRAM2Server(defaultValue);
  -   
  -
      BRAM2Port#(LIdx, Bit#(16)) matL <- mkBRAM2Server(defaultValue);
   
      BRAMReadClient#(StringIdx,busWidth) n2a <- mkBRAMReadClient(strA.portB);
  
positive.code: 
     FIFOF#(void) aReady <- mkFIFOF;
     FIFOF#(void) bReady <- mkFIFOF;
     Stmt splice =
     seq
        action
  	 let ra <- aReady.deq();
  	 $display("Splice A Ready");
        endaction
        action
  	 let rb <- aReady.deq();
  	 $display("Splice B Ready");
        endaction
        if (aLenReg > bLenReg)
  	 rLenReg <= aLenReg;
        else
  	 rLenReg <= bLenReg;
     endseq;
  	 
     
     // create BRAM Write client for matL
  
  
negative.code:    endmethod
  
     method Action start();
     endmethod
  
  endmodule
  