aboutsummaryrefslogtreecommitdiffstats
path: root/tests/techmap
Commit message (Expand)AuthorAgeFilesLines
* opt_mem: Remove constant-value bit lanes.Marcelina Kościelnicka2022-05-072-15/+2
* Fix the tests we just brokeClaire Xenia Wolf2021-12-102-2/+2
* dfflegalize: Add tests for aldff lowering.Marcelina Kościelnicka2021-10-272-0/+240
* dfflegalize: Add tests targetting aldff.Marcelina Kościelnicka2021-10-277-7/+320
* dfflegalize: Refactor, add aldff support.Marcelina Kościelnicka2021-10-279-73/+46
* FfData: some refactoring.Marcelina Kościelnicka2021-10-071-3/+4
* abc9: make re-entrant (#2993)Eddie Hung2021-09-091-0/+20
* abc9: holes module to instantiate cells with NEW_ID (#2992)Eddie Hung2021-09-091-0/+14
* opt_clean: Make the init attribute follow the FF's Q.Marcelina Kościelnicka2021-08-221-2/+2
* Add tests for some common techmap files.Marcelina Kościelnicka2021-02-243-0/+50
* 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