aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* Replace opt_rmdff with opt_dff.Marcelina Kościelnicka2020-08-072-9/+17
* Add dffunmap pass.Marcelina Kościelnicka2020-07-312-0/+108
* opt_expr: Remove -clkinv option, make it the default.Marcelina Kościelnicka2020-07-312-14/+14
* synth_ice40: Use opt_dff.Marcelina Kościelnicka2020-07-302-247/+86
* synth_xilinx: Use opt_dff.Marcelina Kościelnicka2020-07-305-861/+200
* async2sync: Support all FF types.Marcelina Kościelnicka2020-07-302-145/+162
* Add opt_dff pass.Marcelina Kościelnicka2020-07-302-0/+876
* opt_expr: Fix handling of $_XNOR_ cells with A = B.Marcelina Kościelnicka2020-07-291-1/+1
* equiv_induct: Fix up assumption for $equiv cells in -undef mode.Marcelina Kościelnicka2020-07-271-1/+3
* async2sync: Refactor to use FfInitVals.Marcelina Kościelnicka2020-07-241-53/+11
* memory_dff: Refactor to use FfInitVals.Marcelina Kościelnicka2020-07-241-12/+5
* proc_dlatch: Refactor to use FfInitVals.Marcelina Kościelnicka2020-07-241-28/+8
* pmux2shift: Refactor to use FfInitVals.Marcelina Kościelnicka2020-07-241-15/+4
* wreduce: Refactor to use FfInitVals.Marcelina Kościelnicka2020-07-241-37/+7
* techmap: Refactor to use FfInitVals.Marcelina Kościelnicka2020-07-241-41/+4
* shregmap: Refactor to use FfInitVals.Marcelina Kościelnicka2020-07-241-39/+10
* abc: Refactor to use FfInitVals.Marcelina Kościelnicka2020-07-241-25/+6
* dffinit: Refactor to use FfInitVals.Marcelina Kościelnicka2020-07-241-41/+7
* zinit: Refactor to use FfInitVals.Marcelina Kościelnicka2020-07-241-43/+11
* dfflegalize: Refactor to use FfInitVals.Marcelina Kościelnicka2020-07-241-80/+25
* clk2fflogic: Support all FF types.Marcelina Kościelnicka2020-07-241-200/+122
* memory_dff: recognize more dff cellsMarcelina Kościelnicka2020-07-231-11/+112
* techmap: Add _TECHMAP_CELLNAME_ special parameter.Marcelina Kościelnicka2020-07-211-0/+6
* qbfsat: Add `-solver-option` option.Alberto Gonzalez2020-07-202-1/+15
* opt_merge: Dedup one more use of FF cell type list.Marcelina Kościelnicka2020-07-151-3/+1
* proc_dlatch: Remove init values for combinatorial processes.Marcelina Kościelnicka2020-07-121-0/+33
* dfflegalize: Gather init values from all wires.Marcelina Kościelnicka2020-07-121-1/+1
* dfflibmap: Refactor to use dfflegalize internally.Marcelina Kościelnicka2020-07-091-211/+78
* clkbufmap: improve input pad handling.Marcelina Kościelnicka2020-07-091-17/+39
* clk2fflogic: Consistently treat async control signals as negative hold.Marcelina Kościelnicka2020-07-091-57/+51
* dfflegalize: Add special support for const-D latches.Marcelina Kościelnicka2020-07-091-0/+18
* dfflegalize: typo fixMarcelina Kościelnicka2020-07-071-1/+1
* Naming fixes.Marcelina Kościelnicka2020-07-052-2/+2
* dfflegalize: Prefer mapping dff to sdff before adffMarcelina Kościelnicka2020-07-051-1/+1
* opt_expr: Fix crash on $mul optimization with more zeros removed than Y has.Marcelina Kościelnicka2020-07-051-0/+8
* abc9: only techmap (* abc9_flop *) modulesEddie Hung2020-07-041-1/+1
* abc9: techmap from user design to allow abc9_flop modules to be composedEddie Hung2020-07-041-1/+1
* Add newlines to help text for dfflegalizeRupert Swarbrick2020-07-031-11/+11
* Merge pull request #2208 from boqwxp/qbfsat-cleanupclairexen2020-07-022-255/+273
|\
| * qbfsat: Remove useless comment and #ifndef guards.Alberto Gonzalez2020-07-011-5/+0
| * qbfsat: Specify default values for some options in the help message.Alberto Gonzalez2020-07-011-0/+2
| * qbfsat: Clean up external executable command lines and update temporary direc...Alberto Gonzalez2020-07-011-3/+7
| * qbfsat: Clean up and refactor data structures into `qbfsat.h`.Alberto Gonzalez2020-07-012-248/+265
* | Merge pull request #2186 from YosysHQ/mwk/dfflegalizeclairexen2020-07-022-0/+1357
|\ \
| * | Add dfflegalize pass.Marcelina Kościelnicka2020-07-012-0/+1357
* | | Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ffclairexen2020-07-021-2/+1
|\ \ \
| * | | fmcombine: use the master ff cell type listMarcelina Kościelnicka2020-06-301-2/+1
| |/ /
* | | Merge pull request #2210 from YosysHQ/mwk/fix-opt_mergeclairexen2020-07-021-3/+1
|\ \ \ | |_|/ |/| |
| * | opt_merge: use the master FF type listMarcelina Kościelnicka2020-06-301-3/+1
| |/
* | Merge pull request #2138 from boqwxp/qbfsat-oflagclairexen2020-07-011-16/+47
|\ \