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
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
else
	sv2v --define=SYNTHESIS --incdir=$PRIM_ASSERT_DIR $PRIM_ASSERT_PATH $PKG_FILES $2 > $1
fi


if [ "$1" = "prim_lfsr.v" ]; then
	sed -i 's/sv2v_cast_64\((["A-Za-z0-9_]*)\)/\1/g' $1
fi
sed -i 's/parameter unsigned/parameter/g' $1
sed -i 's/localparam unsigned/localparam/g' $1
sed -i 's/if (.*) ;//g' $1