| PRIM_ASSERT_PATH=$(find .. -name prim_assert.sv) |
| PRIM_ASSERT_DIR=$(dirname ${PRIM_ASSERT_PATH}) |
| PKG_FILES=$(find .. -name "*_pkg.sv") |
| 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 $COMMON_DEFINES --define=ROM_INIT_FILE=../boot_rom_fpga_nexysvideo.vmem --incdir=$PRIM_ASSERT_DIR $2 > $1 |
| else |
| sv2v $COMMON_DEFINES --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 |
| |
| # FIXME copy |
| cp srcs/* . |
