aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* Open aig frontend as binary fileMiodrag Milanovic2019-09-291-1/+1
|
* 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
| | | | | | | | |
| * | | | | | | | Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-233-7/+29
| |\ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-211-1/+1
| |\ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ Merge branch 'eddie/fix_techmap' into xaig_arrivalEddie Hung2019-08-201-1/+1
| |\ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | techmap -max_iter to apply to each module individuallyEddie Hung2019-08-201-4/+6
| | | | | | | | | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-04 15:24:06 +0000