From 44c98175152aad7ddcf26c3e5ec904e316895fe8 Mon Sep 17 00:00:00 2001
From: ajalali <ayoub.jalali@external.thalesgroup.com>
Date: Fri, 3 Jan 2025 14:39:43 +0100
Subject: [PATCH] Fixes

---
 corev_apu/tb/rvfi_tracer.sv | 24 ++++++++----------------
 verif/sim/cva6.py           |  2 +-
 2 files changed, 9 insertions(+), 17 deletions(-)

diff --git a/corev_apu/tb/rvfi_tracer.sv b/corev_apu/tb/rvfi_tracer.sv
index 0b2557cf2a..36e6e0187c 100644
--- a/corev_apu/tb/rvfi_tracer.sv
+++ b/corev_apu/tb/rvfi_tracer.sv
@@ -81,26 +81,18 @@ module rvfi_tracer #(
         if (rvfi_i[i].intr[2]) begin
            $fwrite(f, "core   INTERRUPT 0: 0x%h (0x%h) DASM(%h)\n",
              pc, rvfi_i[i].insn, rvfi_i[i].insn);
-           // Destination register information
-           if (rvfi_i[i].insn[1:0] != 2'b11) begin
-             $fwrite(f, "%h 0x%h (0x%h)",
-               rvfi_i[i].mode, pc, rvfi_i[i].insn[15:0]);
-           end else begin
-             $fwrite(f, "%h 0x%h (0x%h)",
-               rvfi_i[i].mode, pc, rvfi_i[i].insn);
-           end
         end
         else begin
            $fwrite(f, "core   0: 0x%h (0x%h) DASM(%h)\n",
              pc, rvfi_i[i].insn, rvfi_i[i].insn);
-           // Destination register information
-           if (rvfi_i[i].insn[1:0] != 2'b11) begin
-             $fwrite(f, "%h 0x%h (0x%h)",
-               rvfi_i[i].mode, pc, rvfi_i[i].insn[15:0]);
-           end else begin
-             $fwrite(f, "%h 0x%h (0x%h)",
-               rvfi_i[i].mode, pc, rvfi_i[i].insn);
-           end
+        end
+        // Destination register information
+        if (rvfi_i[i].insn[1:0] != 2'b11) begin
+          $fwrite(f, "%h 0x%h (0x%h)",
+            rvfi_i[i].mode, pc, rvfi_i[i].insn[15:0]);
+        end else begin
+          $fwrite(f, "%h 0x%h (0x%h)",
+            rvfi_i[i].mode, pc, rvfi_i[i].insn);
         end
         // Decode instruction to know if destination register is FP register.
         // Handle both uncompressed and compressed instructions.
diff --git a/verif/sim/cva6.py b/verif/sim/cva6.py
index 82f663010f..f93920d6b5 100644
--- a/verif/sim/cva6.py
+++ b/verif/sim/cva6.py
@@ -775,7 +775,7 @@ def parse_args(cwd):
                       help="switch AXI agent mode: yes for Active, no for Passive")
   parser.add_argument("--gen_sv_seed", type=int, default=0,
                       help="Run test N times with random seed")
-  parser.add_argument("--sv_seed", type=str, default=str(random.getrandbits(31),
+  parser.add_argument("--sv_seed", type=str, default=str(random.getrandbits(31)),
                       help="Run test with a specific seed")
   parser.add_argument("--isa_extension", type=str, default="",
                       help="Choose additional z, s, x extensions")