mirror of
https://github.com/YosysHQ/yosys
synced 2026-05-31 06:07:47 +00:00
20 lines
350 B
CMake
20 lines
350 B
CMake
yosys_backend(smt2
|
|
smt2.cc
|
|
REQUIRES
|
|
json11
|
|
DATA_DIR
|
|
python3
|
|
DATA_FILES
|
|
smtio.py
|
|
ywio.py
|
|
REQUIRES
|
|
bmuxmap
|
|
demuxmap
|
|
)
|
|
|
|
yosys_python_executable(yosys-smtbmc smtbmc.py
|
|
INSTALL_IF YOSYS_INSTALL_DRIVER OR YOSYS_INSTALL_LIBRARY
|
|
)
|
|
yosys_python_executable(yosys-witness witness.py
|
|
INSTALL_IF YOSYS_INSTALL_DRIVER OR YOSYS_INSTALL_LIBRARY
|
|
)
|