1 /**
2  * Copyright (c) 2021 Raspberry Pi (Trading) Ltd.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 // =============================================================================
7 // Register block : TBMAN
8 // Version        : 1
9 // Bus type       : apb
10 // Description    : Testbench manager. Allows the programmer to know what
11 //                  platform their software is running on.
12 // =============================================================================
13 #ifndef HARDWARE_REGS_TBMAN_DEFINED
14 #define HARDWARE_REGS_TBMAN_DEFINED
15 // =============================================================================
16 // Register    : TBMAN_PLATFORM
17 // Description : Indicates the type of platform in use
18 #define TBMAN_PLATFORM_OFFSET _u(0x00000000)
19 #define TBMAN_PLATFORM_BITS   _u(0x00000003)
20 #define TBMAN_PLATFORM_RESET  _u(0x00000005)
21 // -----------------------------------------------------------------------------
22 // Field       : TBMAN_PLATFORM_FPGA
23 // Description : Indicates the platform is an FPGA
24 #define TBMAN_PLATFORM_FPGA_RESET  _u(0x0)
25 #define TBMAN_PLATFORM_FPGA_BITS   _u(0x00000002)
26 #define TBMAN_PLATFORM_FPGA_MSB    _u(1)
27 #define TBMAN_PLATFORM_FPGA_LSB    _u(1)
28 #define TBMAN_PLATFORM_FPGA_ACCESS "RO"
29 // -----------------------------------------------------------------------------
30 // Field       : TBMAN_PLATFORM_ASIC
31 // Description : Indicates the platform is an ASIC
32 #define TBMAN_PLATFORM_ASIC_RESET  _u(0x1)
33 #define TBMAN_PLATFORM_ASIC_BITS   _u(0x00000001)
34 #define TBMAN_PLATFORM_ASIC_MSB    _u(0)
35 #define TBMAN_PLATFORM_ASIC_LSB    _u(0)
36 #define TBMAN_PLATFORM_ASIC_ACCESS "RO"
37 // =============================================================================
38 #endif // HARDWARE_REGS_TBMAN_DEFINED
39