| Commit message (Expand) | Author | Age | Files | Lines |
* | equiv_induct: Fix up assumption for $equiv cells in -undef mode. | Marcelina Kościelnicka | 2020-07-27 | 1 | -1/+3 |
* | async2sync: Refactor to use FfInitVals. | Marcelina Kościelnicka | 2020-07-24 | 1 | -53/+11 |
* | memory_dff: Refactor to use FfInitVals. | Marcelina Kościelnicka | 2020-07-24 | 1 | -12/+5 |
* | proc_dlatch: Refactor to use FfInitVals. | Marcelina Kościelnicka | 2020-07-24 | 1 | -28/+8 |
* | pmux2shift: Refactor to use FfInitVals. | Marcelina Kościelnicka | 2020-07-24 | 1 | -15/+4 |
* | wreduce: Refactor to use FfInitVals. | Marcelina Kościelnicka | 2020-07-24 | 1 | -37/+7 |
* | techmap: Refactor to use FfInitVals. | Marcelina Kościelnicka | 2020-07-24 | 1 | -41/+4 |
* | shregmap: Refactor to use FfInitVals. | Marcelina Kościelnicka | 2020-07-24 | 1 | -39/+10 |
* | abc: Refactor to use FfInitVals. | Marcelina Kościelnicka | 2020-07-24 | 1 | -25/+6 |
* | dffinit: Refactor to use FfInitVals. | Marcelina Kościelnicka | 2020-07-24 | 1 | -41/+7 |
* | zinit: Refactor to use FfInitVals. | Marcelina Kościelnicka | 2020-07-24 | 1 | -43/+11 |
* | dfflegalize: Refactor to use FfInitVals. | Marcelina Kościelnicka | 2020-07-24 | 1 | -80/+25 |
* | clk2fflogic: Support all FF types. | Marcelina Kościelnicka | 2020-07-24 | 1 | -200/+122 |
* | memory_dff: recognize more dff cells | Marcelina Kościelnicka | 2020-07-23 | 1 | -11/+112 |
* | techmap: Add _TECHMAP_CELLNAME_ special parameter. | Marcelina Kościelnicka | 2020-07-21 | 1 | -0/+6 |
* | qbfsat: Add `-solver-option` option. | Alberto Gonzalez | 2020-07-20 | 2 | -1/+15 |
* | opt_merge: Dedup one more use of FF cell type list. | Marcelina Kościelnicka | 2020-07-15 | 1 | -3/+1 |
* | proc_dlatch: Remove init values for combinatorial processes. | Marcelina Kościelnicka | 2020-07-12 | 1 | -0/+33 |
* | dfflegalize: Gather init values from all wires. | Marcelina Kościelnicka | 2020-07-12 | 1 | -1/+1 |
* | dfflibmap: Refactor to use dfflegalize internally. | Marcelina Kościelnicka | 2020-07-09 | 1 | -211/+78 |
* | clkbufmap: improve input pad handling. | Marcelina Kościelnicka | 2020-07-09 | 1 | -17/+39 |
* | clk2fflogic: Consistently treat async control signals as negative hold. | Marcelina Kościelnicka | 2020-07-09 | 1 | -57/+51 |
* | dfflegalize: Add special support for const-D latches. | Marcelina Kościelnicka | 2020-07-09 | 1 | -0/+18 |
* | dfflegalize: typo fix | Marcelina Kościelnicka | 2020-07-07 | 1 | -1/+1 |
* | Naming fixes. | Marcelina Kościelnicka | 2020-07-05 | 2 | -2/+2 |
* | dfflegalize: Prefer mapping dff to sdff before adff | Marcelina Kościelnicka | 2020-07-05 | 1 | -1/+1 |
* | opt_expr: Fix crash on $mul optimization with more zeros removed than Y has. | Marcelina Kościelnicka | 2020-07-05 | 1 | -0/+8 |
* | abc9: only techmap (* abc9_flop *) modules | Eddie Hung | 2020-07-04 | 1 | -1/+1 |
* | abc9: techmap from user design to allow abc9_flop modules to be composed | Eddie Hung | 2020-07-04 | 1 | -1/+1 |
* | Add newlines to help text for dfflegalize | Rupert Swarbrick | 2020-07-03 | 1 | -11/+11 |
* | Merge pull request #2208 from boqwxp/qbfsat-cleanup | clairexen | 2020-07-02 | 2 | -255/+273 |
|\ |
|
| * | qbfsat: Remove useless comment and #ifndef guards. | Alberto Gonzalez | 2020-07-01 | 1 | -5/+0 |
| * | qbfsat: Specify default values for some options in the help message. | Alberto Gonzalez | 2020-07-01 | 1 | -0/+2 |
| * | qbfsat: Clean up external executable command lines and update temporary direc... | Alberto Gonzalez | 2020-07-01 | 1 | -3/+7 |
| * | qbfsat: Clean up and refactor data structures into `qbfsat.h`. | Alberto Gonzalez | 2020-07-01 | 2 | -248/+265 |
* | | Merge pull request #2186 from YosysHQ/mwk/dfflegalize | clairexen | 2020-07-02 | 2 | -0/+1357 |
|\ \ |
|
| * | | Add dfflegalize pass. | Marcelina Kościelnicka | 2020-07-01 | 2 | -0/+1357 |
* | | | Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff | clairexen | 2020-07-02 | 1 | -2/+1 |
|\ \ \ |
|
| * | | | fmcombine: use the master ff cell type list | Marcelina Kościelnicka | 2020-06-30 | 1 | -2/+1 |
| |/ / |
|
* | | | Merge pull request #2210 from YosysHQ/mwk/fix-opt_merge | clairexen | 2020-07-02 | 1 | -3/+1 |
|\ \ \
| |_|/
|/| | |
|
| * | | opt_merge: use the master FF type list | Marcelina Kościelnicka | 2020-06-30 | 1 | -3/+1 |
| |/ |
|
* | | Merge pull request #2138 from boqwxp/qbfsat-oflag | clairexen | 2020-07-01 | 1 | -16/+47 |
|\ \ |
|
| * | | qbfsat: Add `-O[012]` options to control pre-solving simplification with ABC. | Alberto Gonzalez | 2020-06-30 | 1 | -16/+47 |
* | | | Merge pull request #2206 from boqwxp/qbfsat-fix-name-specialization | clairexen | 2020-07-01 | 1 | -2/+24 |
|\ \ \ |
|
| * | | | qbfsat: Fix name-based hole specialization. | Alberto Gonzalez | 2020-06-30 | 1 | -2/+24 |
| |/ / |
|
* | | | Merge pull request #2199 from YosysHQ/mmicko/sim_memory | clairexen | 2020-06-30 | 1 | -1/+4 |
|\ \ \ |
|
| * | | | sim - error when memrd and memwr detected | Miodrag Milanovic | 2020-06-29 | 1 | -1/+4 |
* | | | | Merge pull request #2201 from YosysHQ/fix_test_cell_ilang | clairexen | 2020-06-30 | 1 | -2/+2 |
|\ \ \ \
| |_|_|/
|/| | | |
|
| * | | | Use ID macro to fix assertion | Miodrag Milanovic | 2020-06-29 | 1 | -2/+2 |
| |/ / |
|
* | / | techmap: don't drop attributes on replaced cells. | whitequark | 2020-06-29 | 1 | -2/+3 |
| |/
|/| |
|