/*
 * Copyright (c) 2017 Oticon A/S
 * Copyright (c) 2023 Nordic Semiconductor ASA
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 * RADIO Bitcounter functionality
 * We treat it as a sub-peripheral
 *
 * Notes:
 *   * If the bitcounter is started in a CodedPhy packet during FEC1, FEC2 has a different
 *     coding rate, and the BCC value gets it into the FEC2, the bitcounter model behavior
 *     will not be correct (it will keep counting at the bit rate of the FEC1)
 *     (It is unclear how the real RADIO HW handles this)
 */
#include "bs_types.h"
#include "bs_tracing.h"
#include "NHW_common_types.h"
#include "NHW_config.h"
#include "NHW_peri_types.h"
#include "NHW_RADIO.h"
#include "NHW_RADIO_signals.h"
#include "nsi_hw_scheduler.h"
#include "nsi_tasks.h"
#include "nsi_hws_models_if.h"

static bs_time_t Timer_RADIO_bitcounter = TIME_NEVER;

static bs_time_t Time_BitCounterStarted = TIME_NEVER;
static bool bit_counter_running = false;

extern NRF_RADIO_Type NRF_RADIO_regs;

static void nrf_radio_bitcounter_timer_triggered(void) {
  nhw_RADIO_signal_EVENTS_BCMATCH(0);
  Timer_RADIO_bitcounter = TIME_NEVER;
  nsi_hws_find_next_event();
  //Note that we leave the bit counter running, so a new BCC can be programmed to make it trigger later
}

NSI_HW_EVENT(Timer_RADIO_bitcounter, nrf_radio_bitcounter_timer_triggered, 50);

void nhw_RADIO_TASK_BCSTART(void) {
  /* Note that we do not validate that the end of the address has been received */

  if (bit_counter_running) {
    bs_trace_warning_line_time("NRF_RADIO: BCSTART received while the bitcounter was already running."
        "New BCSTART is just ignored\n");
    return;
  }
  bit_counter_running = true;
  Time_BitCounterStarted = nsi_hws_get_time();
  Timer_RADIO_bitcounter = Time_BitCounterStarted + NRF_RADIO_regs.BCC/nhw_radio_get_bpus();
  nsi_hws_find_next_event();
}

void nhw_radio_stop_bit_counter(void) {
  if (!bit_counter_running){
    return;
  }
  bit_counter_running = false;
  if (Timer_RADIO_bitcounter != TIME_NEVER) {
    Timer_RADIO_bitcounter = TIME_NEVER;
    nsi_hws_find_next_event();
  }
}

void nhw_RADIO_TASK_BCSTOP(void) {
  nhw_radio_stop_bit_counter();
}

void nhw_RADIO_regw_sideeffects_BCC(void) {
  if (!bit_counter_running){
    return;
  }
  Timer_RADIO_bitcounter = Time_BitCounterStarted + NRF_RADIO_regs.BCC/nhw_radio_get_bpus();
  if (Timer_RADIO_bitcounter < nsi_hws_get_time()) {
    bs_trace_warning_line_time("NRF_RADIO: Reprogrammed bitcounter with a BCC which has already"
        "passed (%"PRItime") => we ignore it\n",
        Timer_RADIO_bitcounter);
    Timer_RADIO_bitcounter = TIME_NEVER;
  }
  nsi_hws_find_next_event();
}