diff --git a/dace/codegen/targets/rtl.py b/dace/codegen/targets/rtl.py
index 406f29e84e..82bec96250 100644
--- a/dace/codegen/targets/rtl.py
+++ b/dace/codegen/targets/rtl.py
@@ -715,6 +715,9 @@ def unparse_tasklet(self, sdfg: SDFG, cfg: ControlFlowRegion, dfg: StateSubgraph
     CPP_GENERAL_HEADER_TEMPLATE = """\
 {debug_include}
 // verilator includes
+#include <atomic>
+#include <thread>
+
 #include <verilated.h>
 """