[dv] Add SW logger support and smoketest sequence

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

Author: martin-velay

hw/top_chip/dv/env/seq_lib/top_chip_dv_dv_log_smoketest_vseq.sv

@@ -0,0 +1,54 @@
+// Copyright lowRISC contributors (COSMIC project).
+// Licensed under the Apache License, Version 2.0, see LICENSE for details.
+// SPDX-License-Identifier: Apache-2.0
+
+class top_chip_dv_dv_log_smoketest_vseq extends top_chip_dv_base_vseq;
+  `uvm_object_utils(top_chip_dv_dv_log_smoketest_vseq)
+
+  string exp_messages[] = '{
+    "SW-DV log smoketest starting...",
+    "a = 10, b = 20, c = 12",
+    "a + b + c = 42",
+    "Smoke test for the SW-DV log interface, completed successfully!"
+  };
+
+  typedef bit [1024*8-1:0] arg_t;
+
+  extern function new(string name = "");
+  extern task body();
+  // Per SV LRM 6.16, a string shorter than the packed type is left-padded with zeros: the last
+  // character sits at byte[0] (LSB) and the first at byte[N-1], with zeros above. Scan upward
+  // from byte[0] and prepend each character to reconstruct left-to-right order.
+  extern function string arg_t_to_string(arg_t val);
+endclass : top_chip_dv_dv_log_smoketest_vseq
+
+
+function top_chip_dv_dv_log_smoketest_vseq::new(string name = "");
+  super.new(name);
+endfunction : new
+
+function string top_chip_dv_dv_log_smoketest_vseq::arg_t_to_string(arg_t val);
+  string result = "";
+  for (int i = 0; i < ($bits(val) / 8); i++) begin
+    logic [7:0] c = val[i*8 +: 8];
+    if (c == 8'h00) break;
+    result = {$sformatf("%c", c), result};
+  end
+  return result;
+endfunction : arg_t_to_string
+
+task top_chip_dv_dv_log_smoketest_vseq::body();
+  string actual;
+
+  if (cfg == null) begin
+    set_handles();
+  end
+
+  // Check each expected message inline as the event fires. This ensures we sample printed_log
+  // in the same delta as the event.
+  for (int i = 0; i < exp_messages.size(); i++) begin
+    @(cfg.sw_logger_vif.printed_log_event);
+    actual = arg_t_to_string(arg_t'(cfg.sw_logger_vif.printed_log));
+    `DV_CHECK_STREQ(actual, exp_messages[i], $sformatf("Log message [%0d] mismatch", i))
+  end
+endtask : body

hw/top_chip/dv/env/seq_lib/top_chip_dv_vseq_list.sv

@@ -5,3 +5,4 @@
 `include "top_chip_dv_base_vseq.sv"
 `include "top_chip_dv_uart_base_vseq.sv"
 `include "top_chip_dv_gpio_smoke_vseq.sv"
+`include "top_chip_dv_dv_log_smoketest_vseq.sv"

hw/top_chip/dv/env/top_chip_dv_env.core

@@ -24,6 +24,7 @@ filesets:
       - seq_lib/top_chip_dv_base_vseq.sv: {is_include_file: true}
       - seq_lib/top_chip_dv_uart_base_vseq.sv: {is_include_file: true}
       - seq_lib/top_chip_dv_gpio_smoke_vseq.sv: {is_include_file: true}
+      - seq_lib/top_chip_dv_dv_log_smoketest_vseq.sv: {is_include_file: true}
     file_type: systemVerilogSource
 
 targets:

hw/top_chip/dv/env/top_chip_dv_env_pkg.sv

@@ -41,11 +41,13 @@ package top_chip_dv_env_pkg;
   // 50 MHz Peripheral clock
   parameter int unsigned PeriClkFreq = 50_000_000;
 
-  // SW DV special write locations for test status and logging will always fit in 32-bits
+  // SW DV special write locations for test status and logging will always fit in 32-bits.
+  // Addresses must be 8-byte aligned: AxiDataWidth=64, so a 32-bit store at offset 4
+  // within a bus word lands in req.w.data[63:32] (upper lane), not req.w.data[31:0].
   parameter bit [31:0] SW_DV_START_ADDR       = 'h2002_0000;
   parameter bit [31:0] SW_DV_SIZE             = 'h0000_0100;        // 256 bytes reserved for SW DV
   parameter bit [31:0] SW_DV_TEST_STATUS_ADDR = SW_DV_START_ADDR + 'h00;
-  parameter bit [31:0] SW_DV_LOG_ADDR         = SW_DV_START_ADDR + 'h04;
+  parameter bit [31:0] SW_DV_LOG_ADDR         = SW_DV_START_ADDR + 'h08;
 
   // File includes
   `include "mem_clear_util.sv"

hw/top_chip/dv/top_chip_sim_cfg.hjson

@@ -117,6 +117,20 @@
       run_opts: ["+ChipMemSRAM_image_file={run_dir}/test_framework_exception_test_cheri_sram.vmem",
                  "+ChipMemROM_image_file={run_dir}/bootrom.vmem"]
     }
+    {
+      name: dv_log_smoketest
+      uvm_test_seq: top_chip_dv_dv_log_smoketest_vseq
+      sw_images: ["dv_log_smoketest_vanilla_sram:5" "bootrom:5"]
+      run_opts: ["+ChipMemSRAM_image_file={run_dir}/dv_log_smoketest_vanilla_sram.vmem",
+                 "+ChipMemROM_image_file={run_dir}/bootrom.vmem"]
+    }
+    {
+      name: dv_log_smoketest_cheri
+      uvm_test_seq: top_chip_dv_dv_log_smoketest_vseq
+      sw_images: ["dv_log_smoketest_cheri_sram:5" "bootrom:5"]
+      run_opts: ["+ChipMemSRAM_image_file={run_dir}/dv_log_smoketest_cheri_sram.vmem",
+                 "+ChipMemROM_image_file={run_dir}/bootrom.vmem"]
+    }
     {
       name: spi_device_smoke
       uvm_test_seq: top_chip_dv_base_vseq
@@ -256,15 +270,15 @@
       name: rv_dm_access_after_wakeup
       uvm_test_seq: top_chip_dv_rv_dm_access_after_wakeup_vseq
       sw_images: ["rv_dm_access_after_wakeup_test_vanilla_sram:5" "bootrom:5"]
-      run_opts: ["+use_jtag_dmi=1", 
+      run_opts: ["+use_jtag_dmi=1",
                  "+ChipMemSRAM_image_file={run_dir}/rv_dm_access_after_wakeup_test_vanilla_sram.vmem",
                  "+ChipMemROM_image_file={run_dir}/bootrom.vmem"]
     }
     {
       name: rv_dm_access_after_escalation_reset
       uvm_test_seq: "top_chip_dv_rv_dm_access_after_escalation_reset_vseq"
       sw_images: ["rv_dm_access_after_escalation_reset_test_vanilla_sram:5" "bootrom:5"]
-      run_opts: ["+use_jtag_dmi=1", 
+      run_opts: ["+use_jtag_dmi=1",
                  "+ChipMemSRAM_image_file={run_dir}/rv_dm_access_after_escalation_reset_test_vanilla_sram.vmem",
                  "+ChipMemROM_image_file={run_dir}/bootrom.vmem"]
     }
@@ -341,6 +355,8 @@
         "rv_timer_irq_cheri",
         "test_framework_exception_test",
         "test_framework_exception_test_cheri",
+        "dv_log_smoketest",
+        "dv_log_smoketest_cheri",
         "spi_device_smoke",
         "spi_device_smoke_cheri",
         "spi_host_smoke",
@@ -390,7 +406,9 @@
       name: test_framework
       tests: [
         "test_framework_exception_test",
-        "test_framework_exception_test_cheri"
+        "test_framework_exception_test_cheri",
+        "dv_log_smoketest",
+        "dv_log_smoketest_cheri"
       ]
     }
     {