From ac1f9ac4582063fce3d97b310db5ce0fe1fee9d9 Mon Sep 17 00:00:00 2001
From: Jordan Carlin <jordanmcarlin@gmail.com>
Date: Tue, 28 Jan 2025 09:14:58 -0800
Subject: [PATCH] Use imperas manifest files

---
 sim/questa/wally.do | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/sim/questa/wally.do b/sim/questa/wally.do
index 945cb6ef4..bd2d81754 100644
--- a/sim/questa/wally.do
+++ b/sim/questa/wally.do
@@ -124,8 +124,8 @@ if {[lcheck lst "--lockstep"] || $FunctCoverage == 1} {
     set lockstep 1
     set lockstepvlog "+incdir+${IMPERAS_HOME}/ImpPublic/include/host \
                       +incdir+${IMPERAS_HOME}/ImpProprietary/include/host \
-                      ${IMPERAS_HOME}/ImpPublic/source/host/rvvi/*.sv \
-                      ${IMPERAS_HOME}/ImpProprietary/source/host/idv/*.sv"
+                      -f ${IMPERAS_HOME}/ImpPublic/source/host/rvvi/rvvi.f \
+                      -f ${IMPERAS_HOME}/ImpProprietary/source/host/idv/idv.f"
     set SVLib " -sv_lib ${IMPERAS_HOME}/lib/Linux64/ImperasLib/imperas.com/verification/riscv/1.0/model "
 }