From f3afd4a6f9195f560fcde54cb8152e2453dcab9c Mon Sep 17 00:00:00 2001
From: Hansung Kim <hansung_kim@berkeley.edu>
Date: Tue, 23 Jul 2024 13:58:34 -0700
Subject: [PATCH] Hardcode NUM_THREADS/.. only when SYNTHESIS

They're duplicately set in VX_config.vh which is confusing.
---
 hw/rtl/VX_platform.vh | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/hw/rtl/VX_platform.vh b/hw/rtl/VX_platform.vh
index 0dbce176..7a26c968 100644
--- a/hw/rtl/VX_platform.vh
+++ b/hw/rtl/VX_platform.vh
@@ -14,15 +14,16 @@
 `ifndef VX_PLATFORM_VH
 `define VX_PLATFORM_VH
 
-// enable synthesizable build if SIMULATION not explicitly defined
+// enable synthesizable build by default if not SIMULATION
 `ifndef SIMULATION
 `define SYNTHESIS
 `define NDEBUG
 `define DPI_DISABLE
-`else
+`else  // !SYNTHESIS
 `define SV_DPI
-`endif // SIMULATION
+`endif
 
+// chipyard-specific configs
 `define GPR_RESET
 `define GPR_DUPLICATED
 `define GBAR_ENABLE
@@ -31,12 +32,12 @@
 `define ICACHE_DISABLE
 `define DCACHE_DISABLE
 
+`ifdef SYNTHESIS
 `define NUM_BARRIERS 8
 `define NUM_CORES 4
 `define NUM_THREADS 8
 `define NUM_WARPS 8
 
-`ifdef SYNTHESIS
 `define FPU_FPNEW
 // `define FIRESIM
 `endif // SYNTHESIS