aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-07-1034-271/+734
|\
| * Merge pull request #1180 from YosysHQ/eddie/no_abc9_retimeEddie Hung2019-07-103-6/+15
| |\ | | | | | | Error out if -abc9 and -retime specified
| | * Error out if -abc9 and -retime specifiedEddie Hung2019-07-103-6/+15
| | |
| * | Merge pull request #1148 from YosysHQ/xc7muxEddie Hung2019-07-107-49/+415
| |\ \ | | | | | | | | synth_xilinx to infer wide multiplexers using new '-widemux <min>' option
| | * | Add some spacingEddie Hung2019-07-101-9/+9
| | | |
| | * | Add some ASCII art explaining mux decompositionEddie Hung2019-07-101-0/+21
| | | |
| | * | Call muxpack and pmux2shiftx before cmp2lutEddie Hung2019-07-091-9/+12
| | | |
| | * | Restore opt_clean back to original placeEddie Hung2019-07-091-2/+1
| | | |
| | * | Restore missing techmap -map +/cmp2lut.v with LUT_WIDTH=6Eddie Hung2019-07-091-0/+2
| | | |
| | * | Extend using A[1] to preserve don't careEddie Hung2019-07-091-1/+9
| | | |
| | * | Merge remote-tracking branch 'origin/eddie/fix1173' into xc7muxEddie Hung2019-07-092-4/+9
| | |\ \
| | * | | Extend during mux decomposition with 1'bxEddie Hung2019-07-091-24/+3
| | | | |
| | * | | Fix typo and commentsEddie Hung2019-07-091-4/+4
| | | | |
| | * | | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-07-0916-79/+348
| | |\ \ \
| | * | | | synth_xilinx to call commands of synth -coarse directlyEddie Hung2019-07-091-3/+20
| | | | | |
| | * | | | Revert "synth_xilinx to call "synth -run coarse" with "-keepdc""Eddie Hung2019-07-091-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 7f964859ec99500e471853f5914b6e5b7c35a031.
| | * | | | Fix spacingEddie Hung2019-07-091-1/+1
| | | | | |
| | * | | | Fix spacingEddie Hung2019-07-091-1/+1
| | | | | |
| | * | | | Decompose mux inputs in delay-orientated (rather than area) fashionEddie Hung2019-07-081-18/+30
| | | | | |
| | * | | | Do not call opt -mux_undef (part of -full) before muxcoverEddie Hung2019-07-081-1/+5
| | | | | |
| | * | | | Add one more commentEddie Hung2019-07-081-0/+3
| | | | | |
| | * | | | Less thinkingEddie Hung2019-07-081-3/+3
| | | | | |
| | * | | | RewordEddie Hung2019-07-081-2/+2
| | | | | |
| | * | | | synth_xilinx to call "synth -run coarse" with "-keepdc"Eddie Hung2019-07-081-2/+2
| | | | | |
| | * | | | Merge remote-tracking branch 'origin/eddie/synth_keepdc' into xc7muxEddie Hung2019-07-084-8/+25
| | |\ \ \ \
| | * | | | | Map $__XILINX_SHIFTX in a more balanced mannerEddie Hung2019-07-081-36/+49
| | | | | | |
| | * | | | | CapitalisationEddie Hung2019-07-081-1/+1
| | | | | | |
| | * | | | | Add synth_xilinx -widemux recommended valueEddie Hung2019-07-081-1/+1
| | | | | | |
| | * | | | | Fixes for 2:1 muxesEddie Hung2019-07-082-5/+30
| | | | | | |
| | * | | | | synth_xilinx -widemux=2 is minimum nowEddie Hung2019-07-081-4/+7
| | | | | | |
| | * | | | | Parametric muxcover costs as per @daveshah1Eddie Hung2019-07-081-16/+14
| | | | | | |
| | * | | | | Merge remote-tracking branch 'origin/eddie/muxcover_mux2' into xc7muxEddie Hung2019-07-081-5/+11
| | |\ \ \ \ \
| | * | | | | | atoi -> stoi as per @daveshah1Eddie Hung2019-07-081-1/+1
| | | | | | | |
| | * | | | | | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-07-088-90/+60
| | |\ \ \ \ \ \
| * | \ \ \ \ \ \ Merge pull request #1177 from YosysHQ/clifford/asyncClifford Wolf2019-07-105-8/+135
| |\ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|/ | |/| | | | | | | Fix clk2fflogic adff reset semantic to negative hold time on reset
| | * | | | | | | Fix tests/various/async FFL testClifford Wolf2019-07-092-1/+8
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | | | | | Improve tests/various/async, disable failing ffl testClifford Wolf2019-07-092-7/+38
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | | | | | Add tests/various/async.{sh,v}Clifford Wolf2019-07-092-0/+88
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | | | | | Improve tests/various/run-test.shClifford Wolf2019-07-091-8/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | | | | | Add tests/simple_abc9/.gitignoreClifford Wolf2019-07-091-0/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | synth_ecp5: Fix typo in copyright headerDavid Shah2019-07-091-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * | | | | | | | Merge pull request #1174 from YosysHQ/eddie/fix1173Clifford Wolf2019-07-091-0/+3
| |\ \ \ \ \ \ \ \ | | | |_|_|_|_|_|/ | | |/| | | | | | Increment _TECHMAP_BITS_CONNMAP_ by one since counting from zero
| | * | | | | | | Increment _TECHMAP_BITS_CONNMAP_ by one since counting from zeroEddie Hung2019-07-091-0/+3
| | |/ / / / / /
| * | | | | | | Merge pull request #1175 from whitequark/write_verilog-fix-case-attr-positionClifford Wolf2019-07-091-3/+2
| |\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | write_verilog: fix placement of case attributes
| | * | | | | | | write_verilog: fix placement of case attributes. NFC.whitequark2019-07-091-3/+2
| | | |_|_|_|_|/ | | |/| | | | |
| * | | | | | | Merge pull request #1171 from YosysHQ/revert-1166-eddie/synth_keepdcEddie Hung2019-07-093-15/+3
| |\ \ \ \ \ \ \ | | |_|/ / / / / | |/| | | | | | Revert "Add "synth -keepdc" option"
| | * | | | | | Revert "Add "synth -keepdc" option"Eddie Hung2019-07-093-15/+3
| | |/ / / / /
| * | | | | | Merge pull request #1170 from YosysHQ/eddie/fix_double_underscoreEddie Hung2019-07-091-4/+6
| |\ \ \ \ \ \ | | |/ / / / / | |/| | | | | Rename __builtin_bswap32 -> bswap32
| | * | | | | Rename __builtin_bswap32 -> bswap32Eddie Hung2019-07-091-4/+6
| | | | | | |
| * | | | | | Merge pull request #1168 from whitequark/bugpoint-processesClifford Wolf2019-07-092-17/+105
| |\ \ \ \ \ \ | | | | | | | | | | | | | | | | Add support for processes in bugpoint