diff --git a/CMakeLists.txt b/CMakeLists.txt
index 8a85d9667..728e8298e 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -45,6 +45,7 @@ add_subdirectory(frontends/json)
 add_subdirectory(frontends/liberty)
 add_subdirectory(frontends/rpc)
 add_subdirectory(frontends/rtlil)
+add_subdirectory(frontends/verific)
 add_subdirectory(frontends/verilog)
 
 add_subdirectory(backends/aiger)
diff --git a/frontends/verific/CMakeLists.txt b/frontends/verific/CMakeLists.txt
index 1198dac91..2a71702fd 100644
--- a/frontends/verific/CMakeLists.txt
+++ b/frontends/verific/CMakeLists.txt
@@ -1,8 +1,8 @@
-add_library(yosys_frontends_aiger INTERFACE)
+add_library(yosys_frontends_verific INTERFACE)
 
-target_sources(yosys_frontends_aiger INTERFACE
-    aigerparse.cc
-    aigerparse.h
+target_sources(yosys_frontends_verific INTERFACE
+    verific.cc
+    #verificsva.cc
 )
 
-target_link_libraries(yosys PRIVATE yosys_frontends_aiger)
+target_link_libraries(yosys PRIVATE yosys_frontends_verific)