[arcilator] Register Verif dialect

llvm · Oct 3, 2024 · 001d806 · 001d806
1 parent e12dafc
commit 001d806
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git 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
@@ -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