Doc changes

hw/rtl/VX_platform.vh

@@ -14,7 +14,7 @@
 `ifndef VX_PLATFORM_VH
 `define VX_PLATFORM_VH
 
-// synthesis only
+// enable synthesizable build if SIMULATION not explicitly defined
 `ifndef SIMULATION
 `define SYNTHESIS
 `define NDEBUG

hw/rtl/core/VX_smem_unit.sv

@@ -66,6 +66,7 @@ module VX_smem_unit import VX_gpu_pkg::*; #(
         .req_valid  (smem_req_valid),
         .req_rw     (smem_req_rw),
         .req_byteen (smem_req_byteen),
+        // FIXME: synthesis complains undriven when USE_EXTERNAL_SMEM
         .req_addr   (smem_req_addr),
         .req_data   (smem_req_data),        
         .req_tag    (smem_req_tag),

hw/rtl/core/VX_tensor_core.sv

@@ -232,7 +232,7 @@ module VX_tensor_core_warp import VX_gpu_pkg::*; #(
 
     // this shouldn't really happen unless there's a big contention over
     // the commit stage
-    `RUNTIME_ASSERT(!(!reset && metadata_queue_full), ("tensor core uop queue is full!"));
+    `RUNTIME_ASSERT(!(!reset && metadata_queue_full), ("tensor core uop queue is full!"))
 
     // unlike execute which can be interleaved between warps, commit is
     // serialized and completed one-warp-by-warp, therefore we only need to