anchor.diff:  import Assert::*;
   import BRAM::*;
   import RegFile::*;
  -import EHR::*;
   
   // CONNECTAL Libraries
   import MemTypes::*;
  
positive.code:       //tags.portA.request.put(BRAMRequest{write:True, responseOnWrite:False, address:head_ptr, datain:True});
        //tags[head_ptr] <= True;
        begin
  	 let t = tags.r2;
  	 t[head_ptr] = 1;
  	 tags.r2 <= t;
        end
        head_ptr <= head_ptr+1;
        tagFifo.enq(head_ptr);
  
negative.code:    rule complete_rule1 (comp_state[0] != 0);
        //let rv <- tags.portB.response.get;
        //let rv = tags[tail_ptr];
        let rv = tags[1][tail_ptr] == 1;
        if (!rv) begin
  	 tail_ptr <= tail_ptr+1;
  	 counter.increment(1);
  