aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| | | | * | Rework abc9's DSP48E1 modelEddie Hung2020-01-015-1656/+506
| | | | | |
| | | * | | Merge pull request #1616 from nakengelhardt/abc_scratchpad_arg_warnEddie Hung2020-01-061-0/+2
| | | |\ \ \ | | | | | | | | | | | | | | error if multiple -g options are given for abc
| | | | * | | error if multiple -g options are given for abcN. Engelhardt2020-01-061-0/+2
| | | |/ / /
| | * | | | abc9: uncomment nothing to map messageEddie Hung2020-01-061-4/+4
| | | | | |
| * | | | | Revert "write_xaiger to pad, not abc9_ops -prep_holes"Eddie Hung2020-01-063-20/+58
| | | | | | | | | | | | | | | | | | | | | | | | This reverts commit b5f60e055d07579a2d4f23fc053ca030f103f377.
| * | | | | CleanupEddie Hung2020-01-061-5/+2
| | | | | |
| * | | | | read_aiger: add -xaiger optionEddie Hung2020-01-061-7/+17
| | | | | |
| * | | | | 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-068-255/+295
| |\| | | |
| | * | | | FixesEddie Hung2020-01-061-0/+3
| | | | | |
| | * | | | FixesEddie Hung2020-01-061-3/+5
| | | | | |
| | * | | | abc9: remove -markgroups option, since operates on fully selected modEddie Hung2020-01-061-22/+1
| | | | | |
| | * | | | abc9: cleanupEddie Hung2020-01-061-12/+13
| | | | | |
| | * | | | write_xaiger: make more robust, update docEddie Hung2020-01-061-29/+14
| | | | | |
| | * | | | write_aiger: make more robustEddie Hung2020-01-061-0/+8
| | | | | |
| | * | | | Add abc9.dff scratchpad optionEddie Hung2020-01-061-0/+1
| | | | | |
| | * | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2020-01-062-191/+281
| | |\| | |
| | | * | | Merge pull request #1582 from nakengelhardt/abc_scratchpad_scriptEddie Hung2020-01-062-191/+281
| | | |\ \ \ | | | | | | | | | | | | | | Check scratchpad for abc options
| | | | * | | check scratchpad for arguments in abc pass tooN. Engelhardt2020-01-061-157/+214
| | | | | | |
| | | | * | | inherit default values when checking scratchpad for argumentsN. Engelhardt2020-01-061-27/+10
| | | | | | |
| | | | * | | share codepath for scratchpad argument handling with command argumentsN. Engelhardt2020-01-031-40/+84
| | | | | | |
| | | | * | | Merge branch 'master' of https://github.com/YosysHQ/yosys into ↵N. Engelhardt2020-01-03122-694/+4372
| | | | |\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | abc_scratchpad_script
| | | | * | | | check scratchpad variable abc9.scriptfileN. Engelhardt2019-12-171-0/+2
| | | | | | | |
| | | | * | | | check scratchpad variables for custom abc scriptsN. Engelhardt2019-12-132-0/+4
| | | | | | | |
| | * | | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2020-01-0619-40/+69
| | |\| | | | |
| | | * | | | | Merge pull request #1611 from YosysHQ/mmicko/wrapcarry_fixMiodrag Milanović2020-01-051-0/+2
| | | |\ \ \ \ \ | | | | |_|/ / / | | | |/| | | | Valid to have attribute starting with SB_CARRY.
| | | | * | | | Valid to have attribute starting with SB_CARRY.Miodrag Milanovic2020-01-041-0/+2
| | | |/ / / /
| | * | | | | Reword (* abc9_flop *) descriptionEddie Hung2020-01-061-2/+3
| | | | | | |
| | * | | | | Restore write_xaiger's holes_mode since port_id order causes QoREddie Hung2020-01-031-27/+19
| | | | | | | | | | | | | | | | | | | | | | | | | | | | regressions inside abc9
| | * | | | | CleanupEddie Hung2020-01-021-2/+1
| | | | | | |
| | * | | | | Fix spacingEddie Hung2020-01-021-1/+1
| | | | | | |
| | * | | | | write_xaiger: get rid of external_bits dictEddie Hung2020-01-021-1/+1
| | | | | | |
| * | | | | | Revert ABCREVEddie Hung2020-01-061-1/+1
| | | | | | |
* | | | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-0691-2459/+3416
|\| | | | | | | | | | | | | | | | | | | | | | | | | | | xaig_arrival_required
| * | | | | | write_xaiger to pad, not abc9_ops -prep_holesEddie Hung2020-01-053-58/+20
| | | | | | |
| * | | | | | CleanupEddie Hung2020-01-041-30/+16
| | | | | | |
| * | | | | | Fix when -dff not givenEddie Hung2020-01-044-73/+59
| | | | | | |
| * | | | | | Call -prep_holes before aigmap; fix topo orderingEddie Hung2020-01-033-53/+18
| | | | | | |
| * | | | | | WIPEddie Hung2020-01-033-63/+7
| | | | | | |
| * | | | | | Preserve topo ordering from -prep_holes to write_xaigerEddie Hung2020-01-033-164/+79
| | | | | | |
| * | | | | | WIPEddie Hung2020-01-033-81/+48
| | | | | | |
| * | | | | | WIPEddie Hung2020-01-032-30/+148
| | | | | | |
| * | | | | | Remove a few log_{push,pop}()Eddie Hung2020-01-022-8/+0
| | | | | | |
| * | | | | | aigmap everythingEddie Hung2020-01-021-1/+1
| | | | | | |
| * | | | | | scc command to ignore blackboxesEddie Hung2020-01-021-3/+3
| | | | | | |
| * | | | | | Move scc operations out of inner loopEddie Hung2020-01-021-8/+4
| | | | | | |
| * | | | | | CleanupEddie Hung2020-01-021-2/+1
| | | | | | |
| * | | | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2020-01-0222-1059/+981
| |\| | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-09-15 10:10:24 +0000