anchor.diff:     // Beacon
      rule beacon(curr_state == SYNC);
         dmFifo.deq;
  -      let sync_timeout = interval_reg._read;//fromInteger(valueOf(SYNC_TIMEOUT));
  +      let sync_timeout = interval_reg._read;
         let beacon_type = fromInteger(valueOf(BEACON_TYPE));
         let ack_type = fromInteger(valueOf(ACK_TYPE));
         let rxtx_delay = fromInteger(valueOf(RXTX_DELAY));
  
positive.code:          if(verbose) $display("%d: %d, Enqueued outgoing init request %d", cycle, id, c_local+1);
        end
        else if (mux_sel && tx_mux_sel == ack_type) begin
           let init_timestamp = initTimestampFifo.first;
           let init_parity = initParityFifo.first;
           encodeOut = {init_timestamp, init_parity, ack_type, block_type};
           if(verbose) $display("%d: %d, Enqueued outgoing ack %d", cycle, id, init_timestamp);
           initTimestampFifo.deq;
           initParityFifo.deq;
        end
        else if (mux_sel && tx_mux_sel == beacon_type) begin
           encodeOut = {c_local+1, parity, beacon_type, block_type};
  
negative.code:       else begin
           encodeOut = v;
        end
        if(verbose) $display("%d: %d dtpTxOut=%h, c_local=%h, encodeOut=%h", cycle, id, v, c_local, encodeOut[12:10]);
        dtpTxOutFifo.enq(encodeOut);
     endrule
  
     // delay measurement
     rule delay_measurment(curr_state == INIT || curr_state == SENT);
        let init_timeout = interval_reg._read;
        let init_type = fromInteger(valueOf(INIT_TYPE));
        let ack_type = fromInteger(valueOf(ACK_TYPE));
        let rxtx_delay = fromInteger(valueOf(RXTX_DELAY));
  