luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Added Makefile with passed required for SAT

This commit is contained in:
AdvaySingh1 2026-03-06 11:41:33 -08:00
parent a67471d7f9
commit db039c5987
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Makefile
View File

@ -763,6 +763,9 @@ include $(YOSYS_SRC)/passes/silimate/Makefile.inc
OBJS += passes/sat/recover_names.o
OBJS += passes/sat/sim.o
OBJS += passes/sat/sat.o
OBJS += passes/sat/miter.o
OBJS += passes/sat/async2sync.o
OBJS += passes/techmap/extract.o
OBJS += passes/techmap/extract_reduce.o
OBJS += passes/techmap/alumacc.o
@ -773,6 +776,7 @@ OBJS += passes/techmap/muxcover.o
OBJS += passes/techmap/aigmap.o
OBJS += passes/techmap/attrmap.o
OBJS += passes/techmap/clockgate.o
OBJS += passes/techmap/dffunmap.o
include $(YOSYS_SRC)/passes/hierarchy/Makefile.inc
include $(YOSYS_SRC)/passes/memory/Makefile.inc