anchor.diff:           end
            else if (v[11:10] == beacon_type) begin
               if (parity == v[12]) begin
  -               beacon_rcvd_next = True;
  -               if(dtpEventOutFifo.notFull) begin
  +               if(dtpEventOutFifo.notFull && bsync_lock_wire) begin
                     dtpEventOutFifo.enq(DtpEvent{e:zeroExtend(v[11:10]), t:c_remote_compensated});
                  end
                  if(verbose) $display("%d: %d beacon_rcvd %d, forward to tx %d", cycle, id, c_remote, c_remote_compensated);
  
positive.code:    let verbose = True;
  
     Reg#(Bit#(32))  cycle   <- mkReg(0);
     Wire#(Bool) init_rcvd   <- mkDWire(False);
     Wire#(Bool) ack_rcvd    <- mkDWire(False);
     Wire#(Bool) beacon_rcvd <- mkDWire(False);
     Wire#(Bool) log_rcvd    <- mkDWire(False);
     Wire#(Bool) rx_ready_wire <- mkDWire(False);
     Wire#(Bool) bsync_lock_wire <- mkDWire(False);
  
  
negative.code:          end
        end
        //if(verbose) $display("%d: %d curr_state=%h", cycle, id, curr_state);
        dtpRxOutFifo.enq(vo);
     endrule
  
  