aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* | | 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
| | |
* | | Stray log_moduleEddie Hung2020-01-061-2/+0
| | |
* | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2020-01-067-1675/+512
|\ \ \ | | |/ | |/|
| * | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2020-01-067-1675/+512
| |\|
| | * Merge pull request #1617 from YosysHQ/eddie/abc9_dsp_refactorEddie Hung2020-01-066-1654/+508
| | |\ | | | | | | | | Refactor abc9's DSP48E1 handling
| | | * Wrap arrival functions inside `YOSYS tooEddie Hung2020-01-061-0/+2
| | | |
| | | * Fix return value of arrival time functions, fix wordEddie Hung2020-01-061-18/+14
| | | |
| | | * Bump ABCREV for upstream fixEddie Hung2020-01-061-1/+1
| | | |
| | | * Drive $[ABCD] explicitlyEddie Hung2020-01-021-15/+21
| | | |
| | | * Merge remote-tracking branch 'origin/master' into eddie/abc9_dsp_refactorEddie Hung2020-01-0215-58/+83
| | | |\
| | | * | ifndef __ICARUS__ -> ifdef YOSYSEddie Hung2020-01-011-2/+2
| | | | |
| | | * | 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
| | | | | |
* | | | | | 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
| | | | | |