2025-02-12 07:48:41 -06:00
|
|
|
add_library(yosys_passes_sat INTERFACE)
|
|
|
|
|
|
|
|
|
|
target_sources(yosys_passes_sat INTERFACE
|
|
|
|
|
sat.cc
|
|
|
|
|
freduce.cc
|
|
|
|
|
eval.cc
|
|
|
|
|
miter.cc
|
|
|
|
|
expose.cc
|
|
|
|
|
assertpmux.cc
|
|
|
|
|
clk2fflogic.cc
|
|
|
|
|
async2sync.cc
|
|
|
|
|
formalff.cc
|
|
|
|
|
supercover.cc
|
|
|
|
|
fmcombine.cc
|
|
|
|
|
mutate.cc
|
|
|
|
|
cutpoint.cc
|
|
|
|
|
fminit.cc
|
|
|
|
|
recover_names.cc
|
|
|
|
|
synthprop.cc
|
|
|
|
|
|
|
|
|
|
)
|
|
|
|
|
|
2025-02-13 05:53:26 -06:00
|
|
|
if (ENABLE_ZLIB)
|
|
|
|
|
target_sources(yosys_passes_sat INTERFACE
|
|
|
|
|
sim.cc
|
|
|
|
|
)
|
|
|
|
|
endif()
|
|
|
|
|
|
|
|
|
|
if (NOT DISABLE_SPAWN)
|
|
|
|
|
target_sources(yosys_passes_sat INTERFACE
|
|
|
|
|
qbfsat.cc
|
|
|
|
|
)
|
|
|
|
|
endif()
|
|
|
|
|
|
2025-02-12 07:48:41 -06:00
|
|
|
target_link_libraries(yosys PRIVATE yosys_passes_sat)
|
