aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | | | | | | | | | | | | | | | | | | | | 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
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | Update docEddie Hung2020-01-021-4/+4
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | Update commentsEddie Hung2020-01-021-11/+6
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | abc9 -keepff -> -dff; refactor dff operationsEddie Hung2020-01-024-166/+135
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | Clamp -46ps for FDPE* tooEddie Hung2020-01-011-2/+2
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | Get rid of (* abc9_keep *) in write_xaiger tooEddie Hung2020-01-011-15/+18
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | Cleanup abc9, update doc for -keepff optionEddie Hung2020-01-011-6/+5
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | Restore abc9 -keepffEddie Hung2020-01-014-128/+46
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | attributes.count() -> get_bool_attribute()Eddie Hung2020-01-012-3/+3
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | Re-arrange FD orderEddie Hung2019-12-313-182/+182
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | Missing characterEddie Hung2019-12-311-1/+1
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | Cleanup xilinx boxesEddie Hung2019-12-312-391/+425
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | Cleanup ice40 boxesEddie Hung2019-12-313-30/+43
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | Cleanup ecp5 boxesEddie Hung2019-12-314-35/+31
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | parse_xaiger to not take box_lookupEddie Hung2019-12-314-63/+37
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | parse_xaiger to reorder ports tooEddie Hung2019-12-311-41/+26
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | Add some abc9 dff testsEddie Hung2019-12-311-0/+55
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | Do not re-order carry chain ports, just precompute iteration orderEddie Hung2019-12-312-44/+32
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | Update abc9_xc7.box commentsEddie Hung2019-12-311-18/+18
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | FDCE ports to be alphabeticalEddie Hung2019-12-311-3/+3
| | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | Fix attributes on $__ABC9_ASYNC[01] whiteboxEddie Hung2019-12-311-2/+2
| | | | | | | | | | | | | | | | | | | | | | | |