diff --git a/tools/arcilator/CMakeLists.txt b/tools/arcilator/CMakeLists.txt
index 69a7068e1811..2a5d30a7084a 100644
--- a/tools/arcilator/CMakeLists.txt
+++ b/tools/arcilator/CMakeLists.txt
@@ -19,6 +19,7 @@ target_link_libraries(arcilator
   CIRCTEmit
   CIRCTExportArc
   CIRCTOM
+  CIRCTVerif
   CIRCTSeqToSV
   CIRCTSeqTransforms
   CIRCTSimTransforms
diff --git a/tools/arcilator/arcilator.cpp b/tools/arcilator/arcilator.cpp
index cfe44e009b3e..a921f6551067 100644
--- a/tools/arcilator/arcilator.cpp
+++ b/tools/arcilator/arcilator.cpp
@@ -24,6 +24,7 @@
 #include "circt/Dialect/Seq/SeqPasses.h"
 #include "circt/Dialect/Sim/SimDialect.h"
 #include "circt/Dialect/Sim/SimPasses.h"
+#include "circt/Dialect/Verif/VerifDialect.h"
 #include "circt/InitAllDialects.h"
 #include "circt/InitAllPasses.h"
 #include "circt/Support/Passes.h"
@@ -595,7 +596,8 @@ static LogicalResult executeArcilator(MLIRContext &context) {
     om::OMDialect,
     seq::SeqDialect,
     sim::SimDialect,
-    sv::SVDialect
+    sv::SVDialect,
+    verif::VerifDialect
   >();
   // clang-format on