aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
...
| * | | Merge pull request #773 from whitequark/opt_lut_elim_fixesClifford Wolf2019-01-021-8/+31
| |\ \ \
| | * | | opt_lut: reflect changes in sigmap.whitequark2019-01-021-0/+2
| | * | | opt_lut: use a worklist, and revisit cells affected by elimination.whitequark2019-01-021-3/+10
| | * | | opt_lut: count eliminated cells, and set opt.did_something for them.whitequark2019-01-021-6/+20
| | | |/ | | |/|
| * / | Fix typographical and grammatical errors and inconsistencies.whitequark2019-01-0211-19/+19
| |/ /
| * | opt_lut: eliminate LUTs evaluating to constants or inputs.whitequark2018-12-311-0/+81
| * | Fix handling of (* keep *) wires in wreduceClifford Wolf2018-12-311-1/+4
| * | proc_clean: remove any empty cases if all cases use all-def compare.whitequark2018-12-231-6/+28
| * | proc_clean: remove any empty cases at the end of the switch.whitequark2018-12-221-7/+3
| * | memory_collect: do not truncate 'x from \INIT.whitequark2018-12-211-3/+0
| * | memory_dff: Fix typo when checking init valueDavid Shah2018-12-181-1/+1
| |/
| * Revert "Proof-of-concept: preserve naming through ABC using dress"Clifford Wolf2018-12-161-51/+29
| * Merge pull request #736 from whitequark/select_assert_listClifford Wolf2018-12-161-8/+50
| |\
| | * select: print selection if a -assert-* flag causes an error.whitequark2018-12-161-8/+50
| * | Merge pull request #735 from daveshah1/trifixesClifford Wolf2018-12-161-3/+4
| |\ \
| | * | deminout: Consider $tribuf cellsDavid Shah2018-12-121-2/+2
| | * | deminout: Don't demote constant-driven inouts to inputsDavid Shah2018-12-121-1/+2
| | |/
| * | Fix equiv_opt indentingClifford Wolf2018-12-161-139/+129
| * | Merge pull request #724 from whitequark/equiv_optClifford Wolf2018-12-162-1/+168
| |\ \
| | * | equiv_opt: pass -D EQUIV when techmapping.whitequark2018-12-071-2/+4
| | * | equiv_opt: new command, for verifying optimization passes.whitequark2018-12-072-1/+166
| * | | Merge pull request #734 from grahamedgecombe/fix-shuffled-bram-initdataClifford Wolf2018-12-161-0/+17
| |\ \ \
| | * | | memory_bram: Fix initdata bit order after shufflingGraham Edgecombe2018-12-111-0/+17
| | | |/ | | |/|
| * | | Merge pull request #714 from daveshah1/abc_preserve_namingClifford Wolf2018-12-161-29/+51
| |\ \ \
| | * | | abc: Preserve naming through ABC using 'dress' commandDavid Shah2018-12-061-29/+51
| * | | | Merge pull request #722 from whitequark/rename_srcClifford Wolf2018-12-161-0/+50
| |\ \ \ \
| | * | | | rename: add -src, for inferring names from source locations.whitequark2018-12-051-0/+50
| | | |_|/ | | |/| |
| * | | | Merge pull request #720 from whitequark/masterClifford Wolf2018-12-162-2/+2
| |\ \ \ \ | | |_|_|/ | |/| | |
| | * | | lut2mux: handle 1-bit INIT constant in $lut cells.whitequark2018-12-051-1/+1
| | * | | opt_lut: simplify type conversion. NFC.whitequark2018-12-051-1/+1
| | |/ /
| * | | opt_lut: leave intact LUTs with cascade feeding module outputs.whitequark2018-12-071-0/+6
| * | | opt_lut: show original truth table for both cells.whitequark2018-12-071-2/+3
| * | | opt_lut: add -limit option, for debugging misoptimizations.whitequark2018-12-071-3/+21
| | |/ | |/|
| * | Bugfix in opt_expr handling of a<0 and a>=0Clifford Wolf2018-12-061-1/+1
| |/
| * Rename opt_lut.cpp to opt_lut.ccClifford Wolf2018-12-051-0/+0
| * opt_lut: add -dlogic, to avoid disturbing logic such as carry chains.whitequark2018-12-051-17/+163
| * opt_lut: always prefer to eliminate 1-LUTs.whitequark2018-12-051-19/+41
| * opt_lut: collect and display statistics.whitequark2018-12-051-4/+33
| * opt_lut: refactor to use a worker. NFC.whitequark2018-12-051-170/+177
| * opt_lut: new pass, to combine LUTs for tighter packing.whitequark2018-12-052-0/+275
| * Fix typoClifford Wolf2018-12-041-1/+1
| * Merge pull request #702 from smunaut/min_ce_useClifford Wolf2018-12-041-1/+36
| |\
| | * dff2dffe: Add option for unmap to only remove DFFE with low CE signal useSylvain Munaut2018-11-271-1/+36
| * | Merge pull request #676 from rafaeltp/masterClifford Wolf2018-12-011-10/+17
| |\ \ | | |/ | |/|
| | * using [i] to access individual bits of SigSpec and merging bits into a tmp Si...rafaeltp2018-10-211-11/+12
| | * cleaning up for PRrafaeltp2018-10-201-2/+2
| | * fixing code stylerafaeltp2018-10-201-1/+1
| | * solves #675rafaeltp2018-10-201-11/+17
| * | Add iteration limit to "opt_muxtree"Clifford Wolf2018-11-201-1/+17
| * | DFFLIBMAP: changed 'missing pin' error into a warning with additional reason/...Niels Moseley2018-11-061-1/+10