[util/syn_yosys] Updates due to latest version of sv2v

Updates include workaround for unsupported unsigned parameters and defining VERILATOR macro so that assertions are ignored by sv2v tool.
diff --git a/util/syn_yosys.sh b/util/syn_yosys.sh
index 791f7c7..78723bb 100755
--- a/util/syn_yosys.sh
+++ b/util/syn_yosys.sh
@@ -30,13 +30,15 @@
 #-------------------------------------------------------------------------
 cd syn_out
 
-# TODO: delete below file for now because sv2v currently crashes with it
-\rm -f hmac_pkg.sv
-
 for file in *.sv; do
   module=`basename -s .sv $file`
   echo $file
-  sv2v --oneunit *_pkg.sv prim_assert.sv $file > ${module}.v
+  sv2v --define=VERILATOR --oneunit *_pkg.sv prim_assert.sv $file > ${module}.v
+
+  # TODO: eventually remove below hack. It removes "unsigned" from params
+  # because Yosys doesn't support unsigned parameters
+  sed -i 's/parameter unsigned/parameter/g' ${module}.v
+  sed -i 's/localparam unsigned/localparam/g' ${module}.v
 done
 
 # remove *pkg.v files (they are empty files and not needed)