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

53 lines
2.2 KiB
PHP
Raw Normal View History

Cleanup
2025-02-14 17:48:27 +01:00
OBJS += passes/silimate/activity.o
OBJS += passes/silimate/annotate_cell_fanout.o
Breakreduce pass (still needs testing)
2025-03-17 12:10:08 +01:00
OBJS += passes/silimate/breakreduce.o
Cleanup
2025-02-14 17:48:27 +01:00
OBJS += passes/silimate/breaksop.o
OBJS += passes/silimate/bus_rebuild.o
Add fanoutbuf pass
2025-10-02 04:23:45 +02:00
OBJS += passes/silimate/fanoutbuf.o
new pass `read_liberty2json` Moves the processing of liberty2json translated-files to c++. Essentially a 1:1 translation of the original internal code as much as possible, with the addition of strict type-checking.
2025-11-04 11:59:44 +01:00
OBJS += passes/silimate/l2j_frontend.o
Update Makefile.inc
2025-02-25 01:18:05 +01:00
OBJS += passes/silimate/obs_clean.o
Move segv and reenable loops.v test
2025-02-14 19:02:30 +01:00
OBJS += passes/silimate/segv.o
Merge branch 'main' into main
2026-01-22 00:46:06 +01:00
OBJS += passes/silimate/reg_rename.o
Cleanup
2025-02-14 17:48:27 +01:00
OBJS += passes/silimate/splitfanout.o
splitlarge: new pass to split wide arithmetic operators Adds a new pass, `splitlarge`, that recursively divides $add/$sub cells into smaller cells until each cell's width doesn't exceed a given max_width (128 by default.) An $add/$sub cell's width for this purpose is defined as the higher of the widths of its two inputs. A test was written in Tcl for it, which tests this matrix: - cell: $add/$sub - b: unsigned, signed - a: unsigned, signed This is the first test for a Silimate pass in Tcl and thus `run-test.sh` was modified to include it.
2025-05-15 16:45:08 +02:00
OBJS += passes/silimate/splitlarge.o
Cleanup
2025-02-14 17:48:27 +01:00
OBJS += passes/silimate/splitnetlist.o
opt_expand peepopt (still needs testing)
2025-03-17 12:12:06 +01:00
OBJS += passes/silimate/opt_expand.o
GENFILES += passes/silimate/peepopt_expand.h
passes/silimate/opt_expand.o: passes/silimate/peepopt_expand.h
$(eval $(call add_extra_objs,passes/silimate/peepopt_expand.h))
PEEPOPT_PATTERN = passes/silimate/peepopt_expand.pmg
passes/silimate/peepopt_expand.h: passes/pmgen/pmgen.py $(PEEPOPT_PATTERN)
$(P) mkdir -p $(dir $@) && $(PYTHON_EXECUTABLE) $< -o $@ -p peepopt $(filter-out $<,$^)
Add muxmode pass and tests
2025-03-31 02:54:18 +02:00
OBJS += passes/silimate/muxmode.o
GENFILES += passes/silimate/peepopt_muxmode.h
passes/silimate/muxmode.o: passes/silimate/peepopt_muxmode.h
$(eval $(call add_extra_objs,passes/silimate/peepopt_muxmode.h))
PEEPOPT_PATTERN = passes/silimate/peepopt_muxmode.pmg
PEEPOPT_PATTERN += passes/silimate/peepopt_muxinvprop.pmg
passes/silimate/peepopt_muxmode.h: passes/pmgen/pmgen.py $(PEEPOPT_PATTERN)
$(P) mkdir -p $(dir $@) && $(PYTHON_EXECUTABLE) $< -o $@ -p peepopt $(filter-out $<,$^)
Add negopt pass with comprehensive pattern matching This commit introduces the negopt pass with pre/post optimization modes for handling negation patterns in arithmetic circuits. Pre-optimization patterns (expose for tree balancing): - manual2sub: (a + ~b) + 1 → a - b - sub2neg: a - b → a + (-b) - negexpand: -(a + b) → (-a) + (-b) [with output width fix] - negneg: -(-a) → a - negmux: -(s ? a : b) → s ? (-a) : (-b) Post-optimization patterns (cleanup/rebuild): - negrebuild: (-a) + (-b) → -(a + b) - muxneg: s ? (-a) : (-b) → -(s ? a : b) - neg2sub: a + (-b) → a - b All patterns use nusers() for fanout checking (standard Yosys style). Comprehensive test coverage with positive/negative cases and formal verification via equiv_opt.
2026-02-04 02:09:03 +01:00
OBJS += passes/silimate/negopt.o
GENFILES += passes/silimate/peepopt_negopt.h
passes/silimate/negopt.o: passes/silimate/peepopt_negopt.h
$(eval $(call add_extra_objs,passes/silimate/peepopt_negopt.h))
PEEPOPT_PATTERN = passes/silimate/peepopt_manual2sub.pmg
PEEPOPT_PATTERN += passes/silimate/peepopt_sub2neg.pmg
PEEPOPT_PATTERN += passes/silimate/peepopt_negexpand.pmg
PEEPOPT_PATTERN += passes/silimate/peepopt_negneg.pmg
PEEPOPT_PATTERN += passes/silimate/peepopt_negmux.pmg
PEEPOPT_PATTERN += passes/silimate/peepopt_negrebuild.pmg
PEEPOPT_PATTERN += passes/silimate/peepopt_muxneg.pmg
PEEPOPT_PATTERN += passes/silimate/peepopt_neg2sub.pmg
passes/silimate/peepopt_negopt.h: passes/pmgen/pmgen.py $(PEEPOPT_PATTERN)
$(P) mkdir -p $(dir $@) && $(PYTHON_EXECUTABLE) $< -o $@ -p peepopt $(filter-out $<,$^)