aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/eddie/script_from_wire' into xc7muxEddie Hung2019-06-283-8/+62
|\
| * Add to CHANGELOGEddie Hung2019-06-281-0/+6
| |
| * Support ability for "script -select" to take commands from wiresEddie Hung2019-06-281-8/+39
| |
| * Add testEddie Hung2019-06-281-0/+17
| |
* | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-06-280-0/+0
|\|
| * Replace log_assert() with meaningful log_error()Eddie Hung2019-06-281-1/+5
| |
| * Remove peepopt call in synth_xilinx since already in synth -run coarseEddie Hung2019-06-281-5/+0
| |
* | Restore $__XILINX_MUXF78 const optimisationEddie Hung2019-06-281-24/+24
| |
* | Clean up trimming leading 1'bx in A during techmappnigEddie Hung2019-06-281-15/+9
| |
* | Fix CARRY4 abc_box_idEddie Hung2019-06-281-1/+1
| |
* | Replace log_assert() with meaningful log_error()Eddie Hung2019-06-281-1/+5
| |
* | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-06-281-0/+3
|\|
| * Add missing CHANGELOG entriesEddie Hung2019-06-281-0/+3
| |
* | Update CHANGELOG with -widemuxEddie Hung2019-06-281-1/+1
| |
* | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-06-280-0/+0
|\|
| * Fix spacingEddie Hung2019-06-281-2/+2
| |
* | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-06-2822-171/+335
|\|
| * Merge pull request #1098 from YosysHQ/xaigEddie Hung2019-06-2845-247/+3642
| |\ | | | | | | "abc9" pass for timing-aware techmapping (experimental, FPGA only, no FFs)
| | * Add generic __builtin_bswap32 functionEddie Hung2019-06-281-0/+15
| | |
| | * Also fix write_aiger for UBEddie Hung2019-06-281-26/+26
| | |
| | * Fix more potential for undefined behaviour due to container invalidationEddie Hung2019-06-281-6/+10
| | |
| | * Update synth_ice40 -device doc to be relevant for -abc9 onlyEddie Hung2019-06-281-2/+2
| | |
| | * Disable boxing of ECP5 dist RAM due to regressionEddie Hung2019-06-281-1/+1
| | |
| | * Add write address to abc_scc_break of ECP5 dist RAMEddie Hung2019-06-281-1/+1
| | |
| | * Fix DO4 typoEddie Hung2019-06-281-1/+1
| | |
| | * Reduce diff with upstreamEddie Hung2019-06-271-4/+2
| | |
| | * Extraneous newlineEddie Hung2019-06-271-1/+0
| | |
| | * Remove noise from ice40/cells_sim.vEddie Hung2019-06-271-5/+0
| | |
| | * Refactor for one "abc_carry" attribute on moduleEddie Hung2019-06-275-82/+84
| | |
| | * Merge branch 'xaig' of github.com:YosysHQ/yosys into xaigEddie Hung2019-06-272-0/+19
| | |\
| | | * Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-272-0/+19
| | | |\
| | * | | Do not use Module::remove() iterator versionEddie Hung2019-06-271-5/+6
| | | | |
| | * | | Remove redundant docEddie Hung2019-06-271-3/+0
| | | | |
| | * | | Remove &retime when abc9 -fastEddie Hung2019-06-271-1/+1
| | | | |
| | * | | Cleanup abc9.ccEddie Hung2019-06-271-15/+17
| | | | |
| | * | | Undo iterator based Module::remove() for cells, as containers will notEddie Hung2019-06-272-11/+2
| | |/ / | | | | | | | | | | | | invalidate
| * | | Merge pull request #1146 from gsomlo/gls-test-abc-extClifford Wolf2019-06-284-8/+29
| |\ \ \ | | | | | | | | | | tests: use optional ABCEXTERNAL when specified
| | * | | tests: use optional ABCEXTERNAL when specifiedGabriel L. Somlo2019-06-274-8/+29
| | | |/ | | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | Commits 65924fd1, abc40924, and ebe29b66 hard-code the invocation of yosys-abc, which fails if ABCEXTERNAL was specified during the build. Allow tests to utilize an optional, externally specified abc binary. Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>
| * | | Merge pull request #1046 from bogdanvuk/masterClifford Wolf2019-06-285-16/+127
| |\ \ \ | | |/ / | |/| | Optimizing DFFs whose initial value prevents their value from changing
| | * | Add help for "-sat" option inside opt_rmdff. "opt" can pass "-sat" tooBogdan Vukobratovic2019-06-272-2/+10
| | | |
| | * | Fix memory leak when one of multiple DFF cells is removed in opt_rmdffBogdan Vukobratovic2019-06-271-0/+5
| | | | | | | | | | | | | | | | | | | | | | | | When there are multiple DFFs and one of them is removed, its reference lingers inside bit2driver dict. While invoking handle_dff() function for other DFFs, this broken reference is used isnside sat_import_cell() function.
| | * | Merge remote-tracking branch 'upstream/master'Bogdan Vukobratovic2019-06-2737-143/+1631
| | |\ \
| | * | | Refactor "opt_rmdff -sat"Clifford Wolf2019-06-204-373/+58
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | Merge branch 'master' of https://github.com/bogdanvuk/yosys into ↵Clifford Wolf2019-06-205-10/+423
| | |\ \ \ | | | | | | | | | | | | | | | | | | clifford/ext1046
| | | * | | Move netlist helper module to passes/opt for the time beingBogdan Vukobratovic2019-06-142-1/+1
| | | | | |
| | | * | | Merge remote-tracking branch 'upstream/master'Bogdan Vukobratovic2019-06-1473-475/+1352
| | | |\ \ \
| | | * | | | Prepare for situation when port of the signal cannot be foundBogdan Vukobratovic2019-06-142-2/+8
| | | | | | |
| | | * | | | Some cleanup, revert sat.ccBogdan Vukobratovic2019-06-142-13/+11
| | | | | | |
| | | * | | | Implement disconnection of constant register bitsBogdan Vukobratovic2019-06-132-44/+109
| | | | | | |
| | | * | | | Pass SigBit by value to Netlist algorithmsBogdan Vukobratovic2019-06-131-65/+84
| | | | | | |