blob: ca883d7d068857c162277672f4ba0e47ee67067e [file] [log] [blame]
// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
#include <stdbool.h>
#include "sw/device/lib/arch/device.h"
#include "sw/device/silicon_creator/lib/drivers/ibex.h"
#include "sw/device/silicon_creator/lib/rom_print.h"
/**
* @file
* @brief Device-specific symbol definitions for the ChipWhisperer CW305 device.
*/
const device_type_t kDeviceType = kDeviceFpgaCw305;
const uint64_t kClockFreqCpuMhz = 10;
const uint64_t kClockFreqCpuHz = kClockFreqCpuMhz * 1000 * 1000;
uint64_t to_cpu_cycles(uint64_t usec) { return usec * kClockFreqCpuMhz; }
const uint64_t kClockFreqPeripheralHz = 25 * 100 * 1000; // 2.5MHz
const uint64_t kClockFreqUsbHz = 48 * 1000 * 1000; // 48MHz
const uint64_t kClockFreqAonHz = 200 * 1000; // 200kHz
const uint64_t kUartBaudrate = 115200;
const uint32_t kUartNCOValue =
CALCULATE_UART_NCO(kUartBaudrate, kClockFreqPeripheralHz);
const uint32_t kUartTxFifoCpuCycles =
CALCULATE_UART_TX_FIFO_CPU_CYCLES(kUartBaudrate, kClockFreqCpuHz);
const uint32_t kAstCheckPollCpuCycles =
CALCULATE_AST_CHECK_POLL_CPU_CYCLES(kClockFreqCpuHz);
const uintptr_t kDeviceTestStatusAddress = 0;
const uintptr_t kDeviceLogBypassUartAddress = 0;
const bool kJitterEnabled = false;
void device_fpga_version_print(void) {
// This value is guaranteed to be zero on all non-FPGA implementations.
uint32_t fpga = ibex_fpga_version();
// The cast to unsigned int stops GCC from complaining about uint32_t
// being a `long unsigned int` while the %x specifier takes `unsigned int`.
rom_printf("ROM:%x\r\n", (unsigned int)fpga);
}