[sw] Add HW_ID platform check

Update the test framework smoketest to read the HW_ID register,
validate it against known values, and fail on an unrecognised ID.

Signed-off-by: martin-velay <mvelay@lowrisc.org>

Author: martin-velay

sw/device/lib/hal/mocha.c

@@ -13,7 +13,7 @@
 
 static const uintptr_t rom_base = 0x80000ul;
 static const uintptr_t mailbox_base = 0x20010000ul;
-static const uintptr_t dv_test_status_base = 0x20020000ul;
+static const uintptr_t dv_window_base = 0x20020000ul;
 static const uintptr_t ethernet_base = 0x30000000ul;
 static const uintptr_t gpio_base = 0x40000000ul;
 static const uintptr_t clkmgr_base = 0x40020000ul;
@@ -193,11 +193,11 @@ void *mocha_system_dram(void)
 #endif /* defined(__riscv_zcherihybrid) */
 }
 
-void *mocha_system_dv_test_status(void)
+dv_window_t mocha_system_dv_window(void)
 {
 #if defined(__riscv_zcherihybrid)
-    return create_mmio_capability(dv_test_status_base, 0x100u);
+    return (dv_window_t)create_mmio_capability(dv_window_base, sizeof(struct dv_window_memory_layout));
 #else /* !defined(__riscv_zcherihybrid) */
-    return (void *)dv_test_status_base;
+    return (dv_window_t)dv_window_base;
 #endif /* defined(__riscv_zcherihybrid) */
 }

sw/device/lib/hal/mocha.h

@@ -7,6 +7,7 @@
 #pragma once
 
 #include "hal/clkmgr.h"
+#include "hal/dv.h"
 #include "hal/entropy_src.h"
 #include "hal/ethernet.h"
 #include "hal/gpio.h"
@@ -51,4 +52,10 @@ spi_host_t mocha_system_spi_host(void);
 plic_t mocha_system_plic(void);
 void *mocha_system_dram(void);
 
-void *mocha_system_dv_test_status(void);
+dv_window_t mocha_system_dv_window(void);
+
+enum : uint32_t {
+    hwid_fpga_genesys2 = 0xau,
+    hwid_sim_verilator = 0x1au,
+    hwid_sim_uvm = 0x2au,
+};

sw/device/lib/test_framework/main.c

@@ -4,7 +4,6 @@
 
 #include "boot/trap.h"
 #include "hal/hart.h"
-#include "hal/mmio.h"
 #include "hal/mocha.h"
 #include "hal/uart.h"
 #include "runtime/print.h"
@@ -53,11 +52,11 @@ test_exception_handler(struct trap_registers *registers, struct trap_context *co
 [[noreturn]] void test_exit(bool success)
 {
     uart_t console = mocha_system_uart();
-    void *dv_test_status = mocha_system_dv_test_status();
+    dv_window_t dv_window = mocha_system_dv_window();
 
     uart_puts(console, "TEST RESULT: ");
     uart_puts(console, success ? "PASSED" : "FAILED");
-    DEV_WRITE(dv_test_status, success ? TEST_STATUS_PASSED : TEST_STATUS_FAILED);
+    dv_window->test_status = success ? TEST_STATUS_PASSED : TEST_STATUS_FAILED;
 
     uart_putchar(console, '\n');
     uart_puts(console, "Safe to exit simulator.");
@@ -75,12 +74,12 @@ test_exception_handler(struct trap_registers *registers, struct trap_context *co
 [[noreturn]] void main(void)
 {
     uart_t console = mocha_system_uart();
-    void *dv_test_status = mocha_system_dv_test_status();
+    dv_window_t dv_window = mocha_system_dv_window();
 
     uart_init(console);
     // Flush the uart
     uart_wait_for(console, uart_status_txidle);
-    DEV_WRITE(dv_test_status, TEST_STATUS_IN_TEST);
+    dv_window->test_status = TEST_STATUS_IN_TEST;
 
     bool result = test_main(console);
     // Flush the uart

sw/device/tests/test_framework/smoketest.c

@@ -2,11 +2,27 @@
 // Licensed under the Apache License, Version 2.0, see LICENSE for details.
 // SPDX-License-Identifier: Apache-2.0
 
-#include "hal/uart.h"
+#include "hal/mocha.h"
 #include <stdbool.h>
 
 bool test_main(uart_t console)
 {
+    uint32_t hw_id = mocha_system_dv_window()->hw_id;
+
     uart_puts(console, "Test framework smoketest\n");
-    return true;
+
+    switch (hw_id) {
+    case hwid_fpga_genesys2:
+        uart_puts(console, "Platform: Genesys2 FPGA\n");
+        return true;
+    case hwid_sim_verilator:
+        uart_puts(console, "Platform: Verilator Simulation\n");
+        return true;
+    case hwid_sim_uvm:
+        uart_puts(console, "Platform: UVM Simulation\n");
+        return true;
+    default:
+        uart_puts(console, "Unknown Hardware ID\n");
+        return false;
+    }
 }