aboutsummaryrefslogtreecommitdiffstats
path: root/tests/techmap
Commit message (Expand)AuthorAgeFilesLines
* tests: Centralize test collection and Makefile generationXiretza2020-09-213-21/+5
* flatten, techmap: don't canonicalize tpl driven bits via sigmap.whitequark2020-08-261-0/+11
* Merge pull request #2347 from YosysHQ/mwk/techmap-shift-fixesclairexen2020-08-201-12/+0
|\
| * techmap/shift_shiftx: Remove the "shiftx2mux" special path.Marcelina Kościelnicka2020-08-201-12/+0
* | Merge pull request #2333 from YosysHQ/mwk/peepopt-shiftmul-signedclairexen2020-08-201-0/+11
|\ \
| * | peeopt.shiftmul: Add a signedness check.Marcelina Kościelnicka2020-08-051-0/+11
| |/
* | Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanupclairexen2020-08-201-50/+0
|\ \
| * | Remove now-redundant dff2dffs pass.Marcelina Kościelnicka2020-08-071-50/+0
| |/
* / techmap.CONSTMAP: Handle outputs before inputs.Marcelina Kościelnicka2020-08-051-0/+15
|/
* Add dffunmap pass.Marcelina Kościelnicka2020-07-311-0/+100
* zinit: Refactor to use FfInitVals.Marcelina Kościelnicka2020-07-241-2/+2
* clk2fflogic: Support all FF types.Marcelina Kościelnicka2020-07-2418-123/+123
* techmap: Add _TECHMAP_CELLNAME_ special parameter.Marcelina Kościelnicka2020-07-211-0/+41
* dfflibmap: Refactor to use dfflegalize internally.Marcelina Kościelnicka2020-07-093-0/+135
* clkbufmap: improve input pad handling.Marcelina Kościelnicka2020-07-091-0/+79
* clk2fflogic: Consistently treat async control signals as negative hold.Marcelina Kościelnicka2020-07-097-31/+31
* dfflegalize: Add special support for const-D latches.Marcelina Kościelnicka2020-07-091-0/+53
* dfflegalize: Add tests.Marcelina Kościelnicka2020-07-0117-0/+2957
* Update dff2dffe, dff2dffs, zinit to new FF types.Marcelina Kościelnicka2020-06-232-76/+76
* tests: zinit for new typesEddie Hung2020-04-141-2/+96
* dffinit: Avoid setting init parameter to zero-length value.Marcelina Kościelnicka2020-04-141-0/+25
* zinit: resolve one more comment by @mwkmwkmwkEddie Hung2020-04-131-1/+8
* zinit: fix review comments from @mwkmwkmwkEddie Hung2020-04-131-4/+31
* tests: zinit on $adffEddie Hung2020-04-131-19/+18
* Add testcase for $_DFF_[NP][NP][01]_Eddie Hung2020-04-131-0/+24
* Merge pull request #1648 from YosysHQ/eddie/cmp2lcuEddie Hung2020-04-031-0/+52
|\
| * +/cmp2lcu.v to work efficiently for fully/partially constant inputsEddie Hung2020-04-031-3/+31
| * Refactor +/cmp2lcu.v into recursive techmapEddie Hung2020-04-031-1/+1
| * techmap +/cmp2lcu.v for decomposing arithmetic compares to $lcuEddie Hung2020-04-031-0/+24
* | iopadmap: Fix z assignment to inout portMarcin Kościelnicki2020-04-021-1/+9
|/
* techmap: Fix cell names with _TECHMAP_REPLACE_.*Marcin Kościelnicki2020-03-231-0/+18
* iopadmap: Look harder for already-present buffers. (#1731)Marcelina Kościelnicka2020-03-021-2/+21
* Fine tune #1699 testsEddie Hung2020-02-131-14/+14
* iopadmap: move \init attributes from outpad output to its inputEddie Hung2020-02-131-0/+37
* shiftx2mux: fix select out of boundsEddie Hung2020-02-052-1/+12
* Merge remote-tracking branch 'origin/master' into eddie/shiftx2muxEddie Hung2020-02-051-0/+29
|\
| * Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-151-0/+13
| |\
| * | abc9: respect (* keep *) on cellsEddie Hung2020-01-131-0/+15
| * | write_xaiger: add support and test for (* keep *) on wiresEddie Hung2020-01-131-0/+13
* | | Move from +/shiftx2mux.v into +/techmap.v; cleanupEddie Hung2020-01-211-4/+4
* | | New techmap +/shiftx2mux.v which decomposes LSB first; better for ABCEddie Hung2020-01-211-0/+110
| |/ |/|
* | abc9: aAdd test to check $_NOT_s are absorbedEddie Hung2020-01-151-0/+12
|/
* Add abc9 sanity testEddie Hung2020-01-091-0/+40
* iopadmap: Emit tristate buffers with const OE for some edge cases.Marcin Kościelnicki2019-12-251-0/+23
* iopadmap: Refactor and fix tristate buffer mapping. (#1527)Marcin Kościelnicki2019-12-041-0/+99
* clkbufmap: Add support for inverters in clock path.Marcin Kościelnicki2019-11-251-5/+16
* Merge pull request #1422 from YosysHQ/eddie/aigmap_selectClifford Wolf2019-10-031-0/+10
|\
| * Add quick testEddie Hung2019-09-301-0/+10
* | Extend test with renaming cells with prefix tooEddie Hung2019-10-021-0/+2
* | Add testEddie Hung2019-09-301-0/+16
|/