Device-specific symbol definitions for the Verilator device. More...
#include <assert.h>
#include <stdbool.h>
#include "sw/device/lib/arch/device.h"
#include "hw/top_earlgrey/sw/autogen/top_earlgrey.h"
#include "rv_core_ibex_regs.h"
#include "uart_regs.h"
Go to the source code of this file.
Macros | |
#define | CPU_FREQ_HZ 500 * 1000 |
Functions | |
uint64_t | to_cpu_cycles (uint64_t usec) |
A platform-specific function to convert microseconds to cpu cycles. More... | |
void | device_fpga_version_print (void) |
Prints the FPGA version. More... | |
Variables | |
const device_type_t | kDeviceType = kDeviceSimVerilator |
Indicates the device that this program has been linked for. More... | |
const uint64_t | kClockFreqCpuHz = CPU_FREQ_HZ |
The CPU clock frequency of the device, in hertz. More... | |
const uint64_t | kClockFreqHiSpeedPeripheralHz = 500 * 1000 |
The high-speed peripheral clock frequency of the device, in hertz. More... | |
const uint64_t | kClockFreqPeripheralHz = 125 * 1000 |
The peripheral clock frequency of the device, in hertz. More... | |
const uint64_t | kClockFreqUsbHz = 500 * 1000 |
The USB clock frequency of the device, in hertz. More... | |
const uint64_t | kClockFreqAonHz = 125 * 1000 |
The always on clock frequency of the device, in hertz. More... | |
const uint64_t | kUartBaudrate = 7200 |
The baudrate of the UART peripheral (if such a thing is present). | |
const uint32_t | kUartNCOValue |
The pre-calculated UART NCO value based on the Baudrate and Peripheral clock. More... | |
const uint32_t | kUartBaud115K |
Additional pre-calculated UART NCO values. More... | |
const uint32_t | kUartBaud230K |
const uint32_t | kUartBaud460K |
const uint32_t | kUartBaud921K |
const uint32_t | kUartBaud1M33 |
const uint32_t | kUartBaud1M50 |
const uint32_t | kUartTxFifoCpuCycles |
The time it takes to transmit the entire UART TX fifo in CPU cycles. More... | |
const uint32_t | kAstCheckPollCpuCycles |
Maximum duration of the AST initialization check poll in CPU cycles. More... | |
const uintptr_t | kDeviceTestStatusAddress |
An address to write to report test status. More... | |
const uintptr_t | kDeviceLogBypassUartAddress = 0 |
An address to write use for UART logging bypass. More... | |
Device-specific symbol definitions for the Verilator device.
Definition in file device_sim_verilator.c.
void device_fpga_version_print | ( | void | ) |
Prints the FPGA version.
This function is a NOP unless we are building for an FPGA.
Definition at line 73 of file device_sim_verilator.c.
uint64_t to_cpu_cycles | ( | uint64_t | usec | ) |
A platform-specific function to convert microseconds to cpu cycles.
This is primarily used for spin waits that use the cpu cycle counters. For platforms with clock periods slower than 1 us this will round up.
Definition at line 29 of file device_sim_verilator.c.
const uint32_t kAstCheckPollCpuCycles |
Maximum duration of the AST initialization check poll in CPU cycles.
This number depends on kClockFreqCpuHz
and the resulting duration must be 100us.
Definition at line 64 of file device_sim_verilator.c.
const uint64_t kClockFreqAonHz = 125 * 1000 |
The always on clock frequency of the device, in hertz.
This is the operating clock used by the always on timer, power manager and other peripherals that continue to operate after the device is in sleep state.
Definition at line 41 of file device_sim_verilator.c.
const uint64_t kClockFreqCpuHz = CPU_FREQ_HZ |
The CPU clock frequency of the device, in hertz.
This is the operating clock for the main processing host.
Definition at line 25 of file device_sim_verilator.c.
const uint64_t kClockFreqHiSpeedPeripheralHz = 500 * 1000 |
The high-speed peripheral clock frequency of the device, in hertz.
This is the operating clock used by the spi host
Definition at line 35 of file device_sim_verilator.c.
const uint64_t kClockFreqPeripheralHz = 125 * 1000 |
The peripheral clock frequency of the device, in hertz.
This is the operating clock used by timers, uarts, other peripheral interfaces.
Definition at line 37 of file device_sim_verilator.c.
const uint64_t kClockFreqUsbHz = 500 * 1000 |
The USB clock frequency of the device, in hertz.
This is the operating clock used by the USB phy interface and USB's software interface.
Definition at line 39 of file device_sim_verilator.c.
const uintptr_t kDeviceLogBypassUartAddress = 0 |
An address to write use for UART logging bypass.
If this is zero, there is no address to write to bypass UART logging.
Definition at line 71 of file device_sim_verilator.c.
const uintptr_t kDeviceTestStatusAddress |
An address to write to report test status.
If this is zero, there is no address to write to report test status.
Depending on the simulation environment and the value written to this address, the simulation may stop.
Definition at line 67 of file device_sim_verilator.c.
const device_type_t kDeviceType = kDeviceSimVerilator |
Indicates the device that this program has been linked for.
This can be used, for example, for conditioning an operation on the precise device type.
Indicates the device that this program has been linked for.
Definition at line 19 of file device_sim_verilator.c.
const uint32_t kUartBaud115K |
Additional pre-calculated UART NCO values.
If the pre-calculated value is zero, then the corresponding baudrate is not supported.
Definition at line 48 of file device_sim_verilator.c.
const uint32_t kUartBaud1M33 |
Definition at line 56 of file device_sim_verilator.c.
const uint32_t kUartBaud1M50 |
Definition at line 58 of file device_sim_verilator.c.
const uint32_t kUartBaud230K |
Definition at line 50 of file device_sim_verilator.c.
const uint32_t kUartBaud460K |
Definition at line 52 of file device_sim_verilator.c.
const uint32_t kUartBaud921K |
Definition at line 54 of file device_sim_verilator.c.
const uint32_t kUartNCOValue |
The pre-calculated UART NCO value based on the Baudrate and Peripheral clock.
Definition at line 45 of file device_sim_verilator.c.
const uint32_t kUartTxFifoCpuCycles |
The time it takes to transmit the entire UART TX fifo in CPU cycles.
Definition at line 61 of file device_sim_verilator.c.