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:       //tags.portB.request.put(BRAMRequest{write:True, responseOnWrite:False, address:tag, datain:False});
        //tags[tag] <= False;
        begin
  	 let t = tags[0];
  	 t[tag] = 0;
  	 tags[0] <= t;
        end
        comp_state <= 1 | (comp_state << 1);
     endrule
  