aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* CleanupEddie Hung2020-01-081-5/+3
|
* Fix abc9 help, add labelsEddie Hung2020-01-081-58/+71
|
* Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-071-7/+14
|\
| * Fix abc9_xc7.box commentsEddie Hung2020-01-071-7/+14
| |
| * scc to use design->selected_modules() which avoids black/white-boxesEddie Hung2020-01-071-26/+25
| |
* | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-074-6/+38
|\|
| * Bump ABCREV for upstream fixEddie Hung2020-01-071-1/+1
| |
| * Merge pull request #1618 from YosysHQ/eddie/aiger_fixesEddie Hung2020-01-074-8/+42
| |\ | | | | | | read_aiger fixes
| | * read_aiger: consistency between ascii and binary; also name latchesEddie Hung2020-01-071-3/+9
| | |
| | * Add testcasesEddie Hung2020-01-072-0/+17
| | |
| | * tests/aiger: write Yosys outputEddie Hung2020-01-071-2/+2
| | |
| | * read_aiger: connect identical signals togetherEddie Hung2020-01-071-0/+1
| | |
| | * read_aiger: cope with latches and POs with same nameEddie Hung2020-01-071-2/+12
| | |
| | * read_aiger: default -clk_name to be emptyEddie Hung2020-01-071-1/+1
| |/
* | read_aiger fixesEddie Hung2020-01-071-5/+5
| |
* | tests/aiger: write Yosys outputEddie Hung2020-01-071-2/+2
| |
* | abc9_ops -reintegrate: process box connectionsEddie Hung2020-01-071-27/+134
| |
* | read_aiger: do not process box connections, work standaloneEddie Hung2020-01-071-115/+46
| |
* | Fix tabs and cleanupEddie Hung2020-01-071-38/+38
| |
* | read_aiger: consistency between ascii and binaryEddie Hung2020-01-071-13/+7
| |
* | abc_exe: move 'count_outputs' check to abcEddie Hung2020-01-072-54/+50
| |
* | Merge branch 'master' into eddie/abc9_refactorEddie Hung2020-01-061-3/+3
|\|
| * Merge branch 'master' of github.com:YosysHQ/yosysEddie Hung2020-01-0626-1066/+1529
| |\
| | * Merge pull request #1181 from YosysHQ/xaig_dffEddie Hung2020-01-0626-1066/+1529
| | |\ | | | | | | | | "abc9 -dff" option for sequential synthesis
| * | | Fix DSP48E1 simEddie Hung2020-01-061-3/+3
| |/ /
* | | 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
| | | | |