anchor.diff:              end
           hcounter <= hcounter + 1;
       endrule
  -
  -    //rule hstate2_rule if (bvi_resets_reg.read() != 0 && hstate == HHigh && dackint.read() == 1);
  -        //item_req_wire.send(0);
  -    //endrule
   
       rule serdesrule;
           dfifo.rden(rden);
  
positive.code:         edgeo[9] = dout[0] ^ dout[9];
          edge_int <= edgeo;
          edge_intor_reg <= pack(edgeo != 0);
          dfifo.di({6'b0,dout});
          dfifo.wren(fifo_wren_sync.read());
      endrule
  
      rule handinit_rule if (bvi_resets_reg.read() == 0);
  
negative.code:        Bit#(5) emptyw = 0;
         Bit#(50) rawdataw = 0;
         for (Bit#(8) i = 0; i < 5; i = i+1) begin
  	  //serdes_v[i].ibufdso(ibufds_v[i]);
  	  alignbusyw[i] = serdes_v[i].align_busy();
  	  alignedw[i] = serdes_v[i].aligned();
  	  firstw[i] = serdes_v[i].sampleinfirstbit();
  