aboutsummaryrefslogtreecommitdiffstats
path: root/tests/opt
Commit message (Expand)AuthorAgeFilesLines
* simplemap: Map `$xnor` to `$_XNOR_` cellsJannis Harder2022-11-292-5/+4
* Reenable existing equiv_opt testsJannis Harder2022-10-071-4/+4
* Fix tests for check in equiv_optJannis Harder2022-10-073-3/+3
* Re-enable opt_dff_sr equiv_opt checksClaire Xenia Wolf2022-10-071-13/+12
* Add memory_bmux2rom pass.Marcelina Kościelnicka2022-05-181-0/+27
* opt_merge: Add `-keepdc` option required for formal verificationJannis Harder2022-04-011-0/+50
* opt_reduce: Add $bmux and $demux optimization patterns.Marcelina Kościelnicka2022-01-302-0/+208
* memory_share: Fix SAT-based sharing for wide ports.Marcelina Kościelnicka2021-12-201-0/+34
* extract_reduce: Refactor and fix input signal construction.Marcelina Kościelnicka2021-10-211-0/+12
* memory_share: Add -nosat and -nowiden options.Marcelina Kościelnicka2021-08-142-1/+17
* memory_dff: Recognize soft transparency logic.Marcelina Kościelnicka2021-08-131-0/+862
* Add new opt_mem_priority pass.Marcelina Kościelnicka2021-08-131-0/+205
* proc_memwr: Use the v2 memwr cell.Marcelina Kościelnicka2021-08-112-5/+5
* Add v2 memory cells.Marcelina Kościelnicka2021-08-112-3/+3
* opt_merge: Use FfInitVals.Marcelina Kościelnicka2021-08-082-1/+43
* verilog: Emit $meminit_v2 cell.Marcelina Kościelnicka2021-07-281-4/+4
* opt_expr: Propagate constants to port connections.Marcelina Kościelnicka2021-07-272-0/+15
* Add regression test for #2824.Marcelina Kościelnicka2021-06-111-0/+7
* memory_map: Improve start_offset handling.Marcelina Kościelnicka2021-05-311-0/+100
* opt_mem_feedback: Respect write port priority.Marcelina Kościelnicka2021-05-251-0/+47
* opt_mem_feedback: Rewrite feedback path finding logic.Marcelina Kościelnicka2021-05-242-0/+243
* Add new helper class for merging FFs into cells, use for memory_dff.Marcelina Kościelnicka2021-05-231-0/+17
* opt_mem: Remove write ports with const-0 EN.Marcelina Kościelnicka2021-05-231-0/+34
* opt_dff: Fix NOT gates wired in reverse.Marcelina Kościelnicka2021-05-041-8/+13
* opt_clean: Remove init attribute bits together with removed DFFs.Marcelina Kościelnicka2021-03-151-11/+20
* rtlil: Disallow 0-width chunks in SigSpec.Marcelina Kościelnicka2021-03-151-0/+14
* memory_dff: Remove now-useless write port handling.Marcelina Kościelnicka2021-03-081-1/+0
* opt_share: Fix X and CO signal width for shifted $alu in opt_share.Marcelina Kościelnicka2021-01-141-0/+20
* opt_clean: Better memory handling.Marcelina Kościelnicka2020-10-081-0/+49
* tests: add gitignores for auto-generated makefilesXiretza2020-09-261-0/+1
* tests: Centralize test collection and Makefile generationXiretza2020-09-211-5/+3
* Merge pull request #2344 from YosysHQ/mwk/opt_share-fixesclairexen2020-08-203-0/+54
|\
| * opt_share: Refactor, fix some bugs.Marcelina Kościelnicka2020-08-173-0/+54
* | Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanupclairexen2020-08-201-0/+129
|\ \
| * | peepopt: Remove now-redundant dffmux pattern.Marcelina Kościelnicka2020-08-071-0/+129
| |/
* / peepopt.muldiv: Add a signedness check.Marcelina Kościelnicka2020-08-041-0/+12
|/
* Add opt_dff pass.Marcelina Kościelnicka2020-07-3010-3/+914
* opt_expr: Fix handling of $_XNOR_ cells with A = B.Marcelina Kościelnicka2020-07-291-0/+14
* clk2fflogic: Support all FF types.Marcelina Kościelnicka2020-07-241-1/+0
* opt_expr: Fix crash on $mul optimization with more zeros removed than Y has.Marcelina Kościelnicka2020-07-051-0/+16
* Add sub-assign and and-assign testsKamil Rakoczy2020-06-251-0/+34
* Move combined assign tests to single fileKamil Rakoczy2020-06-254-45/+49
* Add xor-assignment testKamil Rakoczy2020-06-241-0/+15
* Add or-assignment and plus-assignment testsKamil Rakoczy2020-06-242-0/+30
* Fix tests/opt/opt_rmdffClaire Wolf2020-06-092-22/+29
* Merge pull request #1994 from YosysHQ/eddie/fix_bug1758Eddie Hung2020-05-147-2/+446
|\
| * test: update opt_expr_alu testEddie Hung2020-05-081-2/+1
| * tests: opt_expr tests that depend on consumexEddie Hung2020-05-081-0/+35
| * opt_expr: const_xnor replacement to pad Y with 1'b1Eddie Hung2020-04-241-0/+46
| * tests: opt_expr update xnor/xor testsEddie Hung2020-04-242-7/+6