Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge remote-tracking branch 'origin/eddie/fix1132' into xc7mux | Eddie Hung | 2019-06-26 | 1 | -12/+11 |
|\ | |||||
| * | Emprically (even if I don't fully understand it) this passes picorv32 tb | Eddie Hung | 2019-06-26 | 1 | -12/+11 |
| | | |||||
* | | Merge remote-tracking branch 'origin/eddie/fix1132' into xc7mux | Eddie Hung | 2019-06-26 | 1 | -1/+1 |
|\| | |||||
| * | Remove redundant check (done further down) | Eddie Hung | 2019-06-26 | 1 | -1/+1 |
| | | |||||
* | | Return to upstream synth_xilinx with opt -full and wreduce | Eddie Hung | 2019-06-26 | 1 | -19/+3 |
| | | |||||
* | | Merge remote-tracking branch 'origin/eddie/fix1132' into xc7mux | Eddie Hung | 2019-06-26 | 1 | -1/+1 |
|\| | |||||
| * | Restore sigmap wrapper | Eddie Hung | 2019-06-26 | 1 | -1/+1 |
| | | |||||
* | | Merge remote-tracking branch 'origin/eddie/fix1132' into xc7mux | Eddie Hung | 2019-06-26 | 2 | -55/+210 |
|\| | |||||
| * | Add more tests | Eddie Hung | 2019-06-26 | 1 | -0/+152 |
| | | |||||
| * | muxcover to be undef-sensitive when computing decoders | Eddie Hung | 2019-06-26 | 1 | -21/+40 |
| | | |||||
| * | Revert "Rework muxcover decoder gen if more significant muxes are 1'bx" | Eddie Hung | 2019-06-26 | 1 | -55/+39 |
| | | | | | | | | This reverts commit b2b5cf78e21def63c54c080217d77afefba8e4c7. | ||||
| * | Let's not go crazy: use nonzero costs | Eddie Hung | 2019-06-26 | 1 | -6/+6 |
| | | |||||
* | | Merge remote-tracking branch 'origin/eddie/fix1132' into xc7mux | Eddie Hung | 2019-06-26 | 9 | -91/+350 |
|\| | |||||
| * | Rework muxcover decoder gen if more significant muxes are 1'bx | Eddie Hung | 2019-06-26 | 1 | -39/+55 |
| | | |||||
| * | Add tests | Eddie Hung | 2019-06-26 | 1 | -0/+168 |
| | | |||||
| * | Merge pull request #1137 from mmicko/cell_sim_fix | Clifford Wolf | 2019-06-26 | 2 | -14/+1 |
| |\ | | | | | | | Simulation model verilog fix | ||||
| | * | Simulation model verilog fix | Miodrag Milanovic | 2019-06-26 | 2 | -14/+1 |
| |/ | |||||
| * | Improve opt_clean handling of unused public wires | Clifford Wolf | 2019-06-26 | 1 | -2/+2 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Improve BTOR2 handling of undriven wires | Clifford Wolf | 2019-06-26 | 1 | -3/+27 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Fix segfault on failed VERILOG_FRONTEND::const2ast, closes #1131 | Clifford Wolf | 2019-06-26 | 1 | -1/+1 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Do not clean up buffer cells with "keep" attribute, closes #1128 | Clifford Wolf | 2019-06-26 | 1 | -1/+1 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Escape scope names starting with dollar sign in smtio.py | Clifford Wolf | 2019-06-26 | 1 | -1/+4 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add more ECP5 Diamond flip-flops. | whitequark | 2019-06-26 | 2 | -30/+91 |
| | | | | | | | | | | This includes all I/O registers, and a few more regular FFs where it was convenient. | ||||
* | | Instead of blocking wreduce on $mux, use -keepdc instead #1132 | Eddie Hung | 2019-06-26 | 1 | -2/+2 |
| | | |||||
* | | Do not call opt with -full before muxcover | Eddie Hung | 2019-06-26 | 1 | -1/+1 |
| | | |||||
* | | Merge remote-tracking branch 'origin/xaig' into xc7mux | Eddie Hung | 2019-06-26 | 1 | -1/+1 |
|\ \ | |||||
| * | | Remove unused var | Eddie Hung | 2019-06-26 | 1 | -1/+1 |
| | | | |||||
* | | | Cleanup abc_box_id | Eddie Hung | 2019-06-26 | 2 | -10/+10 |
| | | | |||||
* | | | Merge remote-tracking branch 'origin/xaig' into xc7mux | Eddie Hung | 2019-06-26 | 4 | -19/+67 |
|\| | | |||||
| * | | Add _nowide variants of LUT libraries in -nowidelut flows | Eddie Hung | 2019-06-26 | 4 | -13/+44 |
| | | | |||||
| * | | Merge branch 'xaig' of github.com:YosysHQ/yosys into xaig | Eddie Hung | 2019-06-26 | 1 | -2/+10 |
| |\ \ | |||||
| * \ \ | Merge branch 'koriakin/xc7nocarrymux' into xaig | Eddie Hung | 2019-06-26 | 0 | -0/+0 |
| |\ \ \ | |||||
| | * | | | Fix spacing | Eddie Hung | 2019-06-26 | 1 | -5/+5 |
| | | | | | |||||
| * | | | | Merge branch 'koriakin/xc7nocarrymux' into xaig | Eddie Hung | 2019-06-26 | 0 | -0/+0 |
| |\| | | | |||||
| | * | | | Oops. Actually use nocarry flag as spotted by @koriakin | Eddie Hung | 2019-06-26 | 1 | -5/+7 |
| | | | | | |||||
| * | | | | Merge branch 'koriakin/xc7nocarrymux' into xaig | Eddie Hung | 2019-06-26 | 2 | -9/+26 |
| |\| | | | |||||
| | * | | | synth_ecp5 rename -nomux to -nowidelut, but preserve former | Eddie Hung | 2019-06-26 | 1 | -6/+6 |
| | | | | | |||||
| | * | | | Merge branch 'xc7nocarrymux' of https://github.com/koriakin/yosys into ↵ | Eddie Hung | 2019-06-26 | 1 | -4/+24 |
| | |\ \ \ | | | |_|/ | | |/| | | | | | | | koriakin/xc7nocarrymux | ||||
| | | * | | synth_xilinx: Add -nocarry and -nomux options. | Marcin Kościelnicki | 2019-04-30 | 1 | -7/+26 |
| | | | | | |||||
* | | | | | Rename -minmuxf to -widemux | Eddie Hung | 2019-06-26 | 1 | -23/+23 |
| | | | | | |||||
* | | | | | Merge remote-tracking branch 'origin/xaig' into xc7mux | Eddie Hung | 2019-06-26 | 1 | -2/+10 |
|\ \ \ \ \ | | |_|_|/ | |/| | | | |||||
| * | | | | Merge pull request #1136 from YosysHQ/xaig_ice40_wire_del | Eddie Hung | 2019-06-26 | 1 | -2/+10 |
| |\ \ \ \ | | |/ / / | |/| | | | abc9: Add wire delays to synth_ice40 | ||||
| | * | | | abc9: Add wire delays to synth_ice40 | David Shah | 2019-06-26 | 1 | -2/+10 |
| |/ / / | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* | | | | Merge remote-tracking branch 'origin/xaig' into xc7mux | Eddie Hung | 2019-06-25 | 0 | -0/+0 |
|\| | | | |||||
| * | | | Missing muxpack.o in Makefile | Eddie Hung | 2019-06-25 | 1 | -0/+1 |
| | | | | |||||
* | | | | Merge remote-tracking branch 'origin/xaig' into xc7mux | Eddie Hung | 2019-06-25 | 7 | -35/+235 |
|\| | | | |||||
| * | | | Realistic delays for RAM32X1D too | Eddie Hung | 2019-06-25 | 1 | -2/+2 |
| | | | | |||||
| * | | | Add RAM32X1D box info | Eddie Hung | 2019-06-25 | 2 | -4/+12 |
| | | | | |||||
| * | | | Merge remote-tracking branch 'origin/master' into xaig | Eddie Hung | 2019-06-25 | 13 | -14/+1029 |
| |\| | | |||||
| | * | | Add testcase from #335, fixed by #1130 | Eddie Hung | 2019-06-25 | 1 | -0/+28 |
| | | | |