aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
...
| * | | peepopt: Remove now-redundant dffmux pattern.Marcelina Kościelnicka2020-08-073-175/+0
| * | | Remove now-redundant opt_rmdff pass.Marcelina Kościelnicka2020-08-072-712/+0
| | |/ | |/|
* | | Merge pull request #2327 from YosysHQ/mwk/techmap-constmap-fixclairexen2020-08-201-1/+22
|\ \ \
| * | | techmap.CONSTMAP: Handle outputs before inputs.Marcelina Kościelnicka2020-08-051-1/+22
| | |/ | |/|
* | | Merge pull request #2326 from YosysHQ/mwk/peeopt-muldiv-signclairexen2020-08-201-1/+4
|\ \ \
| * | | peepopt.muldiv: Add a signedness check.Marcelina Kościelnicka2020-08-041-1/+4
| |/ /
* | | Merge pull request #2319 from YosysHQ/mwk/techmap-celltype-patternclairexen2020-08-201-4/+32
|\ \ \
| * | | techmap: Add support for [] wildcards in techmap_celltype.Marcelina Kościelnicka2020-08-021-4/+32
| |/ /
* | / Ensure \A_SIGNED is never used with $shiftxXiretza2020-08-181-0/+4
| |/ |/|
* | 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-12 17:35:28 +0000