aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into eddie/opt_merge_initEddie Hung2020-01-28190-4933/+9266
|\
| * Merge pull request #1660 from YosysHQ/eddie/abc9_unpermute_lutsEddie Hung2020-01-289-149/+207
| |\ | | | | | | Unpermute LUT ordering for ice40/ecp5/xilinx
| | * Add and use SigSpec::reverse()Eddie Hung2020-01-282-3/+5
| | |
| | * Fix $lut input ordering -- SigSpec(std::initializer_list<>) is backwardsEddie Hung2020-01-272-2/+2
| | | | | | | | | | | | Just like Verilog...
| | * Import tests from #1628Eddie Hung2020-01-273-2/+104
| | |
| | * xilinx/ice40/ecp5: undo permuting LUT masks in lut_mapEddie Hung2020-01-274-148/+102
| | | | | | | | | | | | Now done in read_aiger
| * | Fix unresolved conflict from #1573Eddie Hung2020-01-281-1/+1
| | |
| * | Merge pull request #1567 from YosysHQ/eddie/sat_init_warningClaire Wolf2020-01-282-1/+13
| |\ \ | | | | | | | | sat: suppress 'Warning: ignoring initial value on non-register: ...' when init[i] = 1'bx
| | * | Even more obvious testcaseEddie Hung2019-12-111-6/+5
| | | |
| | * | Make testcase clearer with \o having its own initEddie Hung2019-12-111-0/+2
| | | |
| | * | Suppress warning message for init[i] = 1'bxEddie Hung2019-12-111-1/+2
| | | |
| | * | Add test: 'Warning: ignoring initial value on non-register: \o'Eddie Hung2019-12-111-0/+10
| | | |
| * | | Merge pull request #1573 from YosysHQ/eddie/xilinx_tristateN. Engelhardt2020-01-283-1/+13
| |\ \ \ | | | | | | | | | | synth_xilinx: error out if tristate without '-iopad'
| | * | | Duplicate tribuf call, credit to @mwkmwkmwkEddie Hung2019-12-131-1/+0
| | | | |
| | * | | Add testEddie Hung2019-12-121-0/+5
| | | | |
| | * | | synth_xilinx: error out if tristate without '-iopad'Eddie Hung2019-12-121-0/+4
| | | | |
| | * | | tribuf: set scratchpad boolean 'tribuf.added_something'Eddie Hung2019-12-121-1/+5
| | | | |
| * | | | redirect fuser stderr to /dev/nullPepijn de Vos2020-01-281-1/+1
| | | | |
| * | | | Merge pull request #1553 from whitequark/manual-dffxClaire Wolf2020-01-281-11/+90
| |\ \ \ \ | | |_|_|/ | |/| | | Document $dffe, $dffsr, $_DFFE_*, $_DFFSR_* cells
| | * | | manual: document $dffe, $dffsr, $_DFFE_*, $_DFFSR_* cells.whitequark2019-12-051-11/+90
| | | | |
| * | | | Merge pull request #1619 from YosysHQ/eddie/abc9_refactorEddie Hung2020-01-2711-1397/+1820
| |\ \ \ \ | | | | | | | | | | | | Refactor `abc9` pass
| | * | | | abc9_ops: add commentsEddie Hung2020-01-271-1/+13
| | | | | |
| | * | | | read_aiger: set abc9_box_seq attrEddie Hung2020-01-241-0/+1
| | | | | |
| | * | | | abc9: -reintegrate recover type from existing cell, check against boxidEddie Hung2020-01-231-30/+19
| | | | | |
| | * | | | simple_abc9 tests to discard whitebox before write for simEddie Hung2020-01-232-2/+3
| | | | | |
| | * | | | abc9: warning message if no modules selectedEddie Hung2020-01-231-0/+6
| | | | | |
| | * | | | Test for (* keep *)-ed abc9_box_idEddie Hung2020-01-231-0/+16
| | | | | |
| | * | | | abc9_ops: -prep_xaiger to skip (* keep *) cellsEddie Hung2020-01-231-0/+2
| | | | | |
| | * | | | abc_box_id -> abc9_box_id in testEddie Hung2020-01-231-1/+1
| | | | | |
| | * | | | abc9_ops -prep_dff: insert async s/r mux in holes when replacing $_DFF_*Eddie Hung2020-01-231-31/+37
| | | | | |
| | * | | | alumacc: undo accidental commitEddie Hung2020-01-221-14/+5
| | | | | |
| | * | | | Fix $__ABC9_ASYNC1 to output 1'b1 not 1'b0Eddie Hung2020-01-221-1/+1
| | | | | |
| | * | | | read_aiger: also parse abc9_mergeabilityEddie Hung2020-01-222-2/+6
| | | | | |
| | * | | | Merge remote-tracking branch 'origin/eddie/abc9_fixes' into eddie/abc9_refactorEddie Hung2020-01-222-4/+6
| | |\ \ \ \
| | * \ \ \ \ Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-2116-156/+365
| | |\ \ \ \ \
| | * | | | | | read_aiger: discard LUT inputs with nodeID == 0; not < 2Eddie Hung2020-01-211-1/+1
| | | | | | | |
| | * | | | | | read_aiger: ignore constant inputs on LUTsEddie Hung2020-01-211-3/+7
| | | | | | | |
| | * | | | | | write_xaiger: fix for (* keep *) on flop outputEddie Hung2020-01-212-3/+18
| | | | | | | |
| | * | | | | | abc9: add some log_{push,pop}() as per @nakengelhardtEddie Hung2020-01-172-5/+19
| | | | | | | |
| | * | | | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-153-3/+16
| | |\ \ \ \ \ \
| | * | | | | | | write_xaiger: skip abc9_flop only if abc_box_seq presentEddie Hung2020-01-151-1/+2
| | | | | | | | |
| | * | | | | | | write_xaiger: do not export flop inputs as POsEddie Hung2020-01-141-2/+6
| | | | | | | | |
| | * | | | | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-141-25/+13
| | |\ \ \ \ \ \ \
| | * | | | | | | | abc9_ops: -reintegrate to not trim box padding anymoreEddie Hung2020-01-142-10/+1
| | | | | | | | | |
| | * | | | | | | | abc9_ops/write_xaiger: update docEddie Hung2020-01-142-1/+15
| | | | | | | | | |
| | * | | | | | | | abc9_ops: -prep_holes -> -prep_xaiger, move padding to write_xaigerEddie Hung2020-01-143-107/+79
| | | | | | | | | |
| | * | | | | | | | Adding (* techmap_autopurge *) to FD* in abc9_map.vEddie Hung2020-01-141-8/+8
| | | | | | | | | |
| | * | | | | | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-1412-52/+88
| | |\ \ \ \ \ \ \ \
| | * | | | | | | | | abc9_ops: -break_scc -> -mark_scc using (* keep *), remove -unbreak_sccEddie Hung2020-01-132-46/+20
| | | | | | | | | | |
| | * | | | | | | | | abc9_ops: ignore inouts of all cell outputs for topo orderingEddie Hung2020-01-131-2/+6
| | | | | | | | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-31 22:01:07 +0000