Fixes

openhwgroup · Jan 3, 2025 · 44c9817 · 44c9817
1 parent e99af42
commit 44c9817
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 17 deletions.
diff --git 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
@@ -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")