aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* synth_xilinx: synth_xilinx.abc9.xc7.W to replace XC7_WIRE_DELAY macroEddie Hung2020-01-101-4/+11
|
* abc9: add abc9.verify and abc9.debug optionsEddie Hung2020-01-101-1/+13
|
* abc9: fix typosEddie Hung2020-01-101-4/+4
|
* Add abc9 sanity testEddie Hung2020-01-091-0/+40
|
* Tune abc9.script.flowEddie Hung2020-01-091-6/+14
|
* Add '-v' to &if for abc9.script.default.fastEddie Hung2020-01-091-1/+1
|
* abc9: start post-fix with semicolonEddie Hung2020-01-091-1/+1
|
* abc9.script.* constpad entries to start with '+'Eddie Hung2020-01-091-8/+8
|
* Revert "abc9: if -script value is a file, then source it, otherwise commands"Eddie Hung2020-01-091-16/+11
| | | | This reverts commit 0696b7bc9e4bd86eadd0e0b92696392cc5dc6172.
* Move abc9.* constpad entries to Abc9Pass::on_register()Eddie Hung2020-01-092-35/+37
|
* Merge remote-tracking branch 'origin/clifford/onpassreg' into ↵Eddie Hung2020-01-093-1/+20
|\ | | | | | | eddie/abc9_scratchpad
| * Add Pass::on_register() and Pass::on_shutdown()Clifford Wolf2020-01-093-1/+20
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Add abc9.if.script.flow{,2} to constpadEddie Hung2020-01-081-6/+32
| |
* | scratchpad entry abc9.if.R to &if -REddie Hung2020-01-081-0/+6
| |
* | abc9: if -script value is a file, then source it, otherwise commandsEddie Hung2020-01-081-11/+16
| |
* | abc9: add time as last script commandEddie Hung2020-01-081-1/+1
| |
* | Fix {C} substitutionEddie Hung2020-01-081-1/+4
| |
* | Add RTLIL::constpad, init by yosys_setup(); use for abc9Eddie Hung2020-01-085-32/+39
|/
* 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
|
* 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
|/
* 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
| | * Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2020-01-067-1675/+512
| | |\ | | |/ | |/|
| | * abc9: uncomment nothing to map messageEddie Hung2020-01-061-4/+4
| | |
| | * 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 remote-tracking branch 'origin/master' into xaig_dffEddie Hung2020-01-0619-40/+69
| | |\ \
| | * | | 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
| | | | |
| | * | | Combine tests to check multiple clock domainsEddie Hung2020-01-021-33/+10
| | | | |
| | * | | synth_xilinx -dff to work with abc tooEddie Hung2020-01-021-6/+14
| | | | |
| | * | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2020-01-0227-92/+160
| | |\ \ \
| | * | | | Add 'abc9 -dff' to CHANGELOGEddie Hung2020-01-021-0/+1
| | | | | |