Add missing RVFI port

2026-02-27 00:39:48 +00:00 · 2019-07-16 23:42:10 +02:00
parent fb7c6c1458
commit 71a1abe602
1 changed files with 1 additions and 0 deletions
--- a/servant/servant.v
+++ b/servant/servant.v
@@ -158,6 +158,7 @@ serv_arbiter serv_arbiter
      .rvfi_halt      (),
      .rvfi_intr      (),
      .rvfi_mode      (),
+      .rvfi_ixl       (),
      .rvfi_rs1_addr  (),
      .rvfi_rs2_addr  (),
      .rvfi_rs1_rdata (),