minitests: Add PRIM_DEFAULT_IMPL define to sv2v script

Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>

minitests/opentitan/src.yosys/sv2v.sh

diff --git a/minitests/opentitan/src.yosys/sv2v.sh b/minitests/opentitan/src.yosys/sv2v.sh
index e7b9a19..21860ed 100755
--- a/minitests/opentitan/src.yosys/sv2v.sh
+++ b/minitests/opentitan/src.yosys/sv2v.sh
@@ -1,12 +1,13 @@
 PRIM_ASSERT_PATH=$(find .. -name prim_assert.sv)
 PRIM_ASSERT_DIR=$(dirname ${PRIM_ASSERT_PATH})
 PKG_FILES=$(find .. -name "*_pkg.sv")
-if [ "$1" = "prim_generic_pad_wrapper.v" ]; then
-	sv2v --define=VERILATOR --define=SYNTHESIS --incdir=$PRIM_ASSERT_DIR $2 > $1
+COMMON_DEFINES="--define=SYNTHESIS --define=PRIM_DEFAULT_IMPL=prim_pkg::ImplXilinx"
+if [ "$1" = "prim_pad_wrapper.v" ]; then
+	sv2v $COMMON_DEFINES --define=VERILATOR --incdir=$PRIM_ASSERT_DIR $PKG_FILES $2 > $1
 elif [ "$1" = "prim_generic_rom.v" ] || [ "$1" = "prim_xilinx_rom.v" ]; then
-	sv2v --define=SYNTHESIS --define=ROM_INIT_FILE=../boot_rom_fpga_nexysvideo.vmem --incdir=$PRIM_ASSERT_DIR $2 > $1
+	sv2v $COMMON_DEFINES --define=ROM_INIT_FILE=../boot_rom_fpga_nexysvideo.vmem --incdir=$PRIM_ASSERT_DIR $2 > $1
 else
-	sv2v --define=SYNTHESIS --incdir=$PRIM_ASSERT_DIR $PRIM_ASSERT_PATH $PKG_FILES $2 > $1
+	sv2v $COMMON_DEFINES --incdir=$PRIM_ASSERT_DIR $PRIM_ASSERT_PATH $PKG_FILES $2 > $1
 fi