anchor.diff:          let sbs = 0;
     
           dc = dc - 1;
  -        //dreqpipe0 <= serbvi.itemreq();
           dreqpipe0 <= item_req_wire.read();
           dreqpipe1 <= dreqpipe0;
           dfifo_reset_r <= serbvi.ctrl_fifo_reset();
  
positive.code:         if (dackint.read() == 1 && dackint_last == 0)
              ctrl_data <= dout;
          serbvi.dataout(dout);
          serbvi.dackint(dackint.read());
          dfifo.di({6'b0,dout});
          dfifo.wren(fifo_wren_sync.read());
      endrule
  
negative.code:     method Action           manual_tap(Bit#(10) v);
      method Action           reset(Bit#(1) v);
      method Action           dataout(Bit#(10) v);
      method Bit#(1)          ctrl_bitslip();
      method Bit#(1)          ctrl_fifo_reset();
      method Bit#(3)          ctrl_reset_inc_ce();
      method Action           endhandshake(Bit#(1) v);
      method Bit#(1)          starthandshake();
  endinterface: Iserdesbvi
  