Verilator Tandem Support

MarioOpenHWGroup · Dec 12, 2023 · 10458cb · 10458cb
1 parent 809bcf4
commit 10458cb
Show file tree

Hide file tree

Showing 5 changed files with 38 additions and 50 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -129,28 +129,11 @@ smoke:
     DASHBOARD_JOB_DESCRIPTION: "Short tests to challenge most architectures with most testbenchs configurations"
     DASHBOARD_SORT_INDEX: 0
     DASHBOARD_JOB_CATEGORY: "Basic"
-  parallel:
-    matrix:
-      - DV_SIMULATORS:
-        - "veri-testharness,spike"
-        - "vcs-testharness,spike"
-        - "vcs-uvm,spike"
-  script:
-    - source verif/regress/smoke-tests.sh
-    - !reference [.simu_after_script]
-
-smoke-tandem:
-  extends:
-    - .fe_smoke_test
-  variables:
-    DASHBOARD_JOB_TITLE: "Smoke test $DV_SIMULATORS with tandem"
-    DASHBOARD_JOB_DESCRIPTION: "Short tests to challenge most architectures with most testbenchs configurations"
-    DASHBOARD_SORT_INDEX: 0
-    DASHBOARD_JOB_CATEGORY: "Basic"
     SPIKE_TANDEM: 1
   parallel:
     matrix:
       - DV_SIMULATORS:
+        - "veri-testharness,spike"
         - "vcs-testharness,spike"
         - "vcs-uvm,spike"
   script:

diff --git a/Makefile b/Makefile
@@ -541,7 +541,7 @@ xrun-check-benchmarks:
 xrun-ci: xrun-asm-tests xrun-amo-tests xrun-mul-tests xrun-fp-tests xrun-benchmarks
 
 # verilator-specific
-verilate_command := $(verilator) --no-timing verilator_config.vlt                                                            \
+verilate_command := $(verilator) --no-timing verilator_config.vlt                                                \
                     -f core/Flist.cva6                                                                           \
                     $(filter-out %.vhd, $(ariane_pkg))                                                           \
                     $(filter-out core/fpu_wrap.sv, $(filter-out %.vhd, $(filter-out %_config_pkg.sv, $(src))))   \
@@ -567,9 +567,9 @@ verilate_command := $(verilator) --no-timing verilator_config.vlt
                     $(if $(TRACE_COMPACT), --trace-fst $(VL_INC_DIR)/verilated_fst_c.cpp)                        \
                     $(if $(TRACE_FAST), --trace $(VL_INC_DIR)/verilated_vcd_c.cpp)                               \
                     -LDFLAGS "-L$(RISCV)/lib -L$(SPIKE_INSTALL_DIR)/lib -Wl,-rpath,$(RISCV)/lib -Wl,-rpath,$(SPIKE_INSTALL_DIR)/lib -lfesvr -lriscv $(if $(PROFILE), -g -pg,) -lpthread $(if $(TRACE_COMPACT), -lz,)" \
-                    -CFLAGS "$(CFLAGS)$(if $(PROFILE), -g -pg,) -DVL_DEBUG"                                      \
+                    -CFLAGS "$(CFLAGS)$(if $(PROFILE), -g -pg,) -DVL_DEBUG -I$(SPIKE_INSTALL_DIR)"               \
                     $(if $(SPIKE_TANDEM), +define+SPIKE_TANDEM, )                                                \
-                    --cc  --vpi                                                                                  \
+                    --cc --vpi                                                                                   \
                     $(list_incdir) --top-module ariane_testharness                                               \
                     --threads-dpi none                                                                           \
                     --Mdir $(ver-library) -O3                                                                    \

diff --git a/corev_apu/tb/common/spike.sv b/corev_apu/tb/common/spike.sv
@@ -15,8 +15,6 @@
 import ariane_pkg::*;
 import rvfi_pkg::*;
 
-import "DPI-C" function void spike_step(inout st_rvfi rvfi);
-
 module spike #(
   parameter config_pkg::cva6_cfg_t CVA6Cfg = cva6_config_pkg::cva6_cfg,
   parameter type rvfi_instr_t = struct packed {
@@ -59,7 +57,7 @@ module spike #(
         rvfi_initialize_spike('h1);
     end
 
-    st_rvfi t_core, t_reference_model;
+    st_rvfi s_core, s_reference_model;
     logic [63:0] pc64;
     logic [31:0] rtl_instr;
     logic [31:0] spike_instr;
@@ -71,30 +69,30 @@ module spike #(
             for (int i = 0; i < CVA6Cfg.NrCommitPorts; i++) begin
 
                 if (rvfi_i[i].valid || rvfi_i[i].trap) begin
-                    spike_step(t_reference_model);
-                    t_core.order = rvfi_i[i].order;
-                    t_core.insn  = rvfi_i[i].insn;
-                    t_core.trap  = rvfi_i[i].trap;
-                    t_core.cause = rvfi_i[i].cause;
-                    t_core.halt  = rvfi_i[i].halt;
-                    t_core.intr  = rvfi_i[i].intr;
-                    t_core.mode  = rvfi_i[i].mode;
-                    t_core.ixl   = rvfi_i[i].ixl;
-                    t_core.rs1_addr  = rvfi_i[i].rs1_addr;
-                    t_core.rs2_addr  = rvfi_i[i].rs2_addr;
-                    t_core.rs1_rdata = rvfi_i[i].rs1_rdata;
-                    t_core.rs2_rdata = rvfi_i[i].rs2_rdata;
-                    t_core.rd1_addr   = rvfi_i[i].rd_addr;
-                    t_core.rd1_wdata  = rvfi_i[i].rd_wdata;
-                    t_core.pc_rdata  = rvfi_i[i].pc_rdata;
-                    t_core.pc_wdata  = rvfi_i[i].pc_wdata;
-                    t_core.mem_addr  = rvfi_i[i].mem_addr;
-                    t_core.mem_rmask = rvfi_i[i].mem_rmask;
-                    t_core.mem_wmask = rvfi_i[i].mem_wmask;
-                    t_core.mem_rdata = rvfi_i[i].mem_rdata;
-                    t_core.mem_wdata = rvfi_i[i].mem_wdata;
+                    s_core.order = rvfi_i[i].order;
+                    s_core.insn  = rvfi_i[i].insn;
+                    s_core.trap  = rvfi_i[i].trap;
+                    s_core.cause = rvfi_i[i].cause;
+                    s_core.halt  = rvfi_i[i].halt;
+                    s_core.intr  = rvfi_i[i].intr;
+                    s_core.mode  = rvfi_i[i].mode;
+                    s_core.ixl   = rvfi_i[i].ixl;
+                    s_core.rs1_addr  = rvfi_i[i].rs1_addr;
+                    s_core.rs2_addr  = rvfi_i[i].rs2_addr;
+                    s_core.rs1_rdata = rvfi_i[i].rs1_rdata;
+                    s_core.rs2_rdata = rvfi_i[i].rs2_rdata;
+                    s_core.rd1_addr   = rvfi_i[i].rd_addr;
+                    s_core.rd1_wdata  = rvfi_i[i].rd_wdata;
+                    s_core.pc_rdata  = rvfi_i[i].pc_rdata;
+                    s_core.pc_wdata  = rvfi_i[i].pc_wdata;
+                    s_core.mem_addr  = rvfi_i[i].mem_addr;
+                    s_core.mem_rmask = rvfi_i[i].mem_rmask;
+                    s_core.mem_wmask = rvfi_i[i].mem_wmask;
+                    s_core.mem_rdata = rvfi_i[i].mem_rdata;
+                    s_core.mem_wdata = rvfi_i[i].mem_wdata;
 
-                    rvfi_compare(t_core, t_reference_model);
+                    rvfi_spike_step(s_core, s_reference_model);
+                    rvfi_compare(s_core, s_reference_model);
                 end
             end
         end

diff --git a/verif/core-v-verif b/verif/core-v-verif
diff --git a/verif/tb/core/rvfi_pkg.sv b/verif/tb/core/rvfi_pkg.sv
@@ -4,9 +4,16 @@
 // Pre-processor macros
 `ifdef VERILATOR
     `define uvm_info(TOP,MSG,LVL) \
-        $display(TOP + ":" + MSG);
+        begin \
+            string tmp = MSG; \
+            $display($sformatf("UVM_INFO @ %t ns : %s %s", $time, TOP ,tmp)); \
+        end
+
     `define uvm_fatal(TOP,MSG) \
-        $display(TOP + ":" + MSG); $finish();
+        begin \
+            string tmp = MSG; \
+            $display($sformatf("UVM_FATAL @ %t ns : %s %s", $time, TOP ,tmp)); $finish(); \
+        end
 `else
 `include "uvm_macros.svh"
 `endif