Merge branch 'rtl' of https://github.com/hansungk/vortex-private into rtl

hw/rtl/VX_platform.vh

@@ -38,6 +38,7 @@
 
 `ifdef SYNTHESIS
 `define FPU_FPNEW
+// `define FIRESIM
 `endif // SYNTHESIS
 
 `ifdef SV_DPI
@@ -78,7 +79,7 @@
 `define UNUSED_PIN(x) . x ()
 `define UNUSED_ARG(x) x
 `define TRACE(level, args) $write args
-`else
+`else // !SYNTHESIS
 `ifdef VERILATOR
 `define SIMULATION
 `define TRACING_ON      /* verilator tracing_on */
@@ -207,6 +208,7 @@
                         x \
                         /* verilator lint_on UNUSED */
 `define TRACE(level, args) $write args
+// `define TRACE(level, args) dpi_trace(level, $sformatf args)
 `endif
 `endif