aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* opt_reduce: Call check() per run rather than per optimised cellDavid Shah2020-01-281-1/+2
| | | | Signed-off-by: David Shah <dave@ds0.me>
* redirect fuser stderr to /dev/nullPepijn de Vos2020-01-281-1/+1
|
* Merge pull request #1619 from YosysHQ/eddie/abc9_refactorEddie Hung2020-01-274-886/+1480
|\ | | | | Refactor `abc9` pass
| * abc9_ops: add commentsEddie Hung2020-01-271-1/+13
| |
| * abc9: -reintegrate recover type from existing cell, check against boxidEddie Hung2020-01-231-30/+19
| |
| * abc9: warning message if no modules selectedEddie Hung2020-01-231-0/+6
| |
| * abc9_ops: -prep_xaiger to skip (* keep *) cellsEddie Hung2020-01-231-0/+2
| |
| * abc9_ops -prep_dff: insert async s/r mux in holes when replacing $_DFF_*Eddie Hung2020-01-231-31/+37
| |
| * alumacc: undo accidental commitEddie Hung2020-01-221-14/+5
| |
| * Merge remote-tracking branch 'origin/eddie/abc9_fixes' into eddie/abc9_refactorEddie Hung2020-01-222-4/+6
| |\
| * \ Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-216-28/+241
| |\ \
| * | | abc9: add some log_{push,pop}() as per @nakengelhardtEddie Hung2020-01-172-5/+19
| | | |
| * | | abc9_ops: -reintegrate to not trim box padding anymoreEddie Hung2020-01-141-9/+0
| | | |
| * | | abc9_ops/write_xaiger: update docEddie Hung2020-01-141-0/+13
| | | |
| * | | abc9_ops: -prep_holes -> -prep_xaiger, move padding to write_xaigerEddie Hung2020-01-142-104/+73
| | | |
| * | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-142-4/+4
| |\ \ \
| * | | | abc9_ops: -break_scc -> -mark_scc using (* keep *), remove -unbreak_sccEddie Hung2020-01-132-46/+20
| | | | |
| * | | | abc9_ops: ignore inouts of all cell outputs for topo orderingEddie Hung2020-01-131-2/+6
| | | | |
| * | | | abc9: break SCC by setting (* keep *) on output wiresEddie Hung2020-01-132-26/+5
| | | | |
| * | | | abc9: add -run optionEddie Hung2020-01-131-1/+14
| | | | |
| * | | | abc9: respect (* keep *) on cellsEddie Hung2020-01-131-0/+2
| | | | |
| * | | | abc9: log which module is being operated onEddie Hung2020-01-132-5/+3
| | | | |
| * | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-133-77/+138
| |\ \ \ \
| * | | | | cleanupEddie Hung2020-01-111-2/+0
| | | | | |
| * | | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-112-92/+94
| |\ \ \ \ \
| * \ \ \ \ \ Merge branch 'eddie/abc9_refactor' of github.com:YosysHQ/yosys into ↵Eddie Hung2020-01-113-101/+88
| |\ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | eddie/abc9_refactor
| | * | | | | | abc9: cleanupEddie Hung2020-01-113-45/+38
| | | | | | | |
| | * | | | | | abc9_ops: fix reintegration by removing optimised-away boxesEddie Hung2020-01-091-56/+50
| | | | | | | |
| * | | | | | | CleanupEddie Hung2020-01-081-5/+3
| |/ / / / / /
| * | | | | | Fix abc9 help, add labelsEddie Hung2020-01-081-58/+71
| | | | | | |
| * | | | | | abc9_ops -reintegrate: process box connectionsEddie Hung2020-01-071-27/+134
| | | | | | |
| * | | | | | Fix tabs and cleanupEddie Hung2020-01-071-38/+38
| | | | | | |
| * | | | | | abc_exe: move 'count_outputs' check to abcEddie Hung2020-01-072-54/+50
| | | | | | |
| * | | | | | Add abc9_ops -reintegrate; moved out from now abc9_exeEddie Hung2020-01-064-361/+315
| | | | | | |
| * | | | | | abc9_map: drop padding in box connectionsEddie Hung2020-01-061-32/+35
| | | | | | |
| * | | | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2020-01-061-0/+2
| |\ \ \ \ \ \
| * | | | | | | Revert "write_xaiger to pad, not abc9_ops -prep_holes"Eddie Hung2020-01-062-4/+48
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit b5f60e055d07579a2d4f23fc053ca030f103f377.
| * | | | | | | CleanupEddie Hung2020-01-061-5/+2
| | | | | | | |
| * | | | | | | scc to use design->selected_modules() which avoids black/white-boxesEddie Hung2020-01-061-26/+25
| | | | | | | |
| * | | | | | | Revert "scc command to ignore blackboxes"Eddie Hung2020-01-061-3/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 32695e5032fcaa932a67f63946ae5e2a1edc8d65.
| * | | | | | | Fix bad mergeEddie Hung2020-01-062-59/+69
| | | | | | | |
| * | | | | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2020-01-063-196/+248
| |\ \ \ \ \ \ \
| * | | | | | | | write_xaiger to pad, not abc9_ops -prep_holesEddie Hung2020-01-052-48/+4
| | | | | | | | |
| * | | | | | | | CleanupEddie Hung2020-01-041-30/+16
| | | | | | | | |
| * | | | | | | | Fix when -dff not givenEddie Hung2020-01-043-59/+49
| | | | | | | | |
| * | | | | | | | Call -prep_holes before aigmap; fix topo orderingEddie Hung2020-01-032-45/+17
| | | | | | | | |
| * | | | | | | | WIPEddie Hung2020-01-032-7/+7
| | | | | | | | |
| * | | | | | | | Preserve topo ordering from -prep_holes to write_xaigerEddie Hung2020-01-032-5/+2
| | | | | | | | |
| * | | | | | | | WIPEddie Hung2020-01-032-14/+40
| | | | | | | | |
| * | | | | | | | WIPEddie Hung2020-01-031-7/+7
| | | | | | | | |