diff --git a/verilog/rtl/caravan_netlists.v b/verilog/rtl/caravan_netlists.v
index 5760b26c..8dc8a7eb 100644
--- a/verilog/rtl/caravan_netlists.v
+++ b/verilog/rtl/caravan_netlists.v
@@ -65,6 +65,7 @@
 	`include "gl/gpio_logic_high.v"
 	`include "gl/xres_buf.v"
 	`include "gl/spare_logic_block.v"
+	`include "gl/mgmt_defines.v"
 	`include "gl/mgmt_core_wrapper.v"
 	`include "gl/caravan.v"
     `else
diff --git a/verilog/rtl/caravel_netlists.v b/verilog/rtl/caravel_netlists.v
index 773bc124..c967700e 100644
--- a/verilog/rtl/caravel_netlists.v
+++ b/verilog/rtl/caravel_netlists.v
@@ -63,6 +63,7 @@
 	`include "gl/gpio_logic_high.v"
 	`include "gl/xres_buf.v"
 	`include "gl/spare_logic_block.v"
+	`include "gl/mgmt_defines.v"
 	`include "gl/mgmt_core_wrapper.v"
 	`include "gl/caravel.v"
     `else