add_library(yosys_frontends_verific INTERFACE)
target_sources(yosys_frontends_verific INTERFACE
verific.cc
#verificsva.cc
)
target_link_libraries(yosys PRIVATE yosys_frontends_verific)