aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* Fix "scc" call inside abc9 to consider all wiresEddie Hung2019-09-291-1/+1
|
* Big rework; flop info now mostly in cells_sim.vEddie Hung2019-09-281-78/+65
|
* Split ABC9 based on clocking only, add "abc_mergeability" attr for enEddie Hung2019-09-271-88/+28
|
* Add -select option to aigmapEddie Hung2019-09-271-6/+40
|
* Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-2733-454/+2070
|\
| * Fix _TECHMAP_REMOVEINIT_ handling.Marcin Kościelnicki2019-09-271-13/+17
| | | | | | | | | | | | | | | | Previously, this wire was handled in the code that populated the "do or do not" techmap cache, resulting in init value removal being performed only for the first use of a given template. Fixes the problem identified in #1396.
| * Improve "portlist" commandClifford Wolf2019-09-251-9/+26
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Add "portlist" commandClifford Wolf2019-09-242-0/+77
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * fix show command for macosN. Engelhardt2019-09-231-0/+8
| |
| * Revert abc9.ccEddie Hung2019-09-201-1/+1
| |
| * Trim mismatched connection to be same (smallest) sizeEddie Hung2019-09-201-0/+6
| |
| * Fix first testcase in #1391Eddie Hung2019-09-202-2/+2
| |
| * Add "add -mod"Clifford Wolf2019-09-201-0/+18
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Add techmap_autopurge attribute, fixes #1381Clifford Wolf2019-09-191-5/+49
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Added extractinv passMarcin Kościelnicki2019-09-192-0/+124
| |
| * Document (* gentb_skip *) attr for test_autotbEddie Hung2019-09-181-0/+3
| |
| * Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxextEddie Hung2019-09-183-0/+115
| |\ | | | | | | peepopt_dffmux -- bit optimisations for word level $dff + (enable/reset) $mux cells
| | * Revert "Make one check $shift(x)? only; change testcase to be 8b"Eddie Hung2019-09-131-3/+2
| | | | | | | | | | | | This reverts commit e2c2d784c8217e4bcf29fb6b156b6a8285036b80.
| | * Tidy upEddie Hung2019-09-111-10/+16
| | |
| | * Fix UBEddie Hung2019-09-111-2/+2
| | |
| | * Cope with presence of reset muxes tooEddie Hung2019-09-111-4/+25
| | |
| | * CleanupEddie Hung2019-09-111-25/+22
| | |
| | * Only display log message if did_somethingEddie Hung2019-09-111-1/+1
| | |
| | * Rename dffmuxext -> dffmux, also remove constants in dff+muxEddie Hung2019-09-114-57/+91
| | |
| | * Make one check $shift(x)? only; change testcase to be 8bEddie Hung2019-09-061-2/+3
| | |
| | * Remove log_cell() callsEddie Hung2019-09-041-3/+0
| | |
| | * Add peepopt_dffmuxextEddie Hung2019-09-043-0/+60
| | |
| * | Merge pull request #1374 from YosysHQ/eddie/fix1371Eddie Hung2019-09-151-4/+15
| |\ \ | | | | | | | | Fix two non-deterministic behaviours that cause divergence between compilers
| | * | Explicitly order function argumentsEddie Hung2019-09-131-4/+15
| | | |
| | * | Revert "SigSet<Cell*> to use stable compare class"Eddie Hung2019-09-134-5/+5
| | | | | | | | | | | | | | | | This reverts commit 4ea34aaacdf6f76e11a83d5eb2a53ba7e75f7c11.
| | * | SigSet<Cell*> to use stable compare classEddie Hung2019-09-124-5/+5
| | | |
| * | | Fix handling of z_digit "?" and fix optimization of cmp with "z"Clifford Wolf2019-09-131-0/+4
| |/ / | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Merge pull request #1370 from YosysHQ/dave/equiv_opt_multiclockDavid Shah2019-09-121-1/+11
| |\ \ | | | | | | | | Add equiv_opt -multiclock
| | * | Add equiv_opt -multiclockDavid Shah2019-09-111-1/+11
| | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * | | Add -match-init option to dff2dffs.Marcin Kościelnicki2019-09-111-3/+26
| |/ /
| * | Merge pull request #1362 from xobs/smtbmc-msvc2-build-fixesDavid Shah2019-09-111-3/+4
| |\ \ | | | | | | | | MSVC2 fixes
| | * | passes: opt_share: don't statically initialize mergeable_type_mapSean Cross2019-09-091-3/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In 3d3779b0376b8204ed7637053176a07b7271ac1d this got turned from a `std::map<std::string, std::string>` to `std::map<IdString, IdString>`. Consequently, this exposed some initialization sequencing issues (#1361). Only initialize the map when it's first used, to avoid these static issues. This fixes #1361. Signed-off-by: Sean Cross <sean@xobs.io>
| * | | Fix misspellingEddie Hung2019-09-091-1/+1
| |/ /
| * | techmap: Add support for extracting init values of portsMarcin Kościelnicki2019-09-071-1/+70
| | |
| * | Merge pull request #1312 from YosysHQ/xaig_arrivalEddie Hung2019-09-051-42/+16
| |\ \ | | | | | | | | Allow arrival times of sequential outputs to be specified to abc9
| | * | Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-09-041-0/+24
| | |\|
| | * | Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-09-023-8/+3
| | |\ \
| | * \ \ Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-301-16/+10
| | |\ \ \
| | * \ \ \ Merge branch 'eddie/xilinx_srl' into xaig_arrivalEddie Hung2019-08-301-4/+0
| | |\ \ \ \
| | * \ \ \ \ Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-301-1/+1
| | |\ \ \ \ \
| | * | | | | | Use a dummy box file if none specifiedEddie Hung2019-08-281-3/+8
| | | | | | | |
| | * | | | | | Account for D port being a constantEddie Hung2019-08-281-4/+4
| | | | | | | |
| | * | | | | | Merge branch 'eddie/xilinx_srl' into xaig_arrivalEddie Hung2019-08-285-177/+608
| | |\ \ \ \ \ \
| | * \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-2810-122/+772
| | |\ \ \ \ \ \ \
| | * | | | | | | | CleanupEddie Hung2019-08-231-130/+59
| | | | | | | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-24 18:21:36 +0000