mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-07-23 15:42:32 +00:00
Code Activity

Added new passes/sat/struct_partition.cc pass to propagate the ports out

Browse source
This commit is contained in:
AdvaySingh1 2026-03-18 11:53:47 -07:00
parent aff1836869
commit a3ffc5da30
3 changed files with 616 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
Makefile
View file

@ -765,6 +765,7 @@ OBJS += passes/sat/recover_names.o
OBJS += passes/sat/sim.o
OBJS += passes/sat/sat.o
OBJS += passes/sat/miter.o
OBJS += passes/sat/struct_partition.o
OBJS += passes/sat/async2sync.o
OBJS += passes/techmap/extract.o
OBJS += passes/techmap/extract_reduce.o