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 0x00000000
19 #define TBMAN_PLATFORM_BITS   0x00000003
20 #define TBMAN_PLATFORM_RESET  0x00000005
21 // -----------------------------------------------------------------------------
22 // Field       : TBMAN_PLATFORM_FPGA
23 // Description : Indicates the platform is an FPGA
24 #define TBMAN_PLATFORM_FPGA_RESET  0x0
25 #define TBMAN_PLATFORM_FPGA_BITS   0x00000002
26 #define TBMAN_PLATFORM_FPGA_MSB    1
27 #define TBMAN_PLATFORM_FPGA_LSB    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  0x1
33 #define TBMAN_PLATFORM_ASIC_BITS   0x00000001
34 #define TBMAN_PLATFORM_ASIC_MSB    0
35 #define TBMAN_PLATFORM_ASIC_LSB    0
36 #define TBMAN_PLATFORM_ASIC_ACCESS "RO"
37 // =============================================================================
38 #endif // HARDWARE_REGS_TBMAN_DEFINED
39