Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | | | | Support more than one port in the abc_scc_break attr | Eddie Hung | 2019-06-26 | 1 | -38/+42 | |
| * | | | | | | | Add write_xaiger into CHANGELOG | Eddie Hung | 2019-06-26 | 1 | -0/+1 | |
| * | | | | | | | Merge branch 'koriakin/xc7nocarrymux' into xaig | Eddie Hung | 2019-06-26 | 0 | -0/+0 | |
| |\ \ \ \ \ \ \ | | | |/ / / / / | | |/| | | | | | ||||||
| | * | | | | | | Grrr | Eddie Hung | 2019-06-26 | 1 | -2/+2 | |
* | | | | | | | | synth_xilinx's muxcover call to be very conservative -- -nodecode | Eddie Hung | 2019-06-26 | 1 | -1/+1 | |
* | | | | | | | | Accidentally removed "simplemap $mux" | Eddie Hung | 2019-06-26 | 1 | -0/+1 | |
* | | | | | | | | Replace with <internal options> | Eddie Hung | 2019-06-26 | 1 | -2/+2 | |
* | | | | | | | | Rework help_mode for synth_xilinx -widemux | Eddie Hung | 2019-06-26 | 1 | -22/+23 | |
* | | | | | | | | 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 | |
| * | | | | | | | | 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 | Miodrag Milanovic | 2019-06-26 | 2 | -14/+1 | |
| |/ / / / / / / | ||||||
| * | | | | | | | Improve opt_clean handling of unused public wires | Clifford Wolf | 2019-06-26 | 1 | -2/+2 | |
| * | | | | | | | Improve BTOR2 handling of undriven wires | Clifford Wolf | 2019-06-26 | 1 | -3/+27 | |
| * | | | | | | | Fix segfault on failed VERILOG_FRONTEND::const2ast, closes #1131 | Clifford Wolf | 2019-06-26 | 1 | -1/+1 | |
| * | | | | | | | Do not clean up buffer cells with "keep" attribute, closes #1128 | Clifford Wolf | 2019-06-26 | 1 | -1/+1 | |
| * | | | | | | | Escape scope names starting with dollar sign in smtio.py | Clifford Wolf | 2019-06-26 | 1 | -1/+4 | |
| * | | | | | | | Add more ECP5 Diamond flip-flops. | whitequark | 2019-06-26 | 2 | -30/+91 | |
* | | | | | | | | 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 koriak... | Eddie Hung | 2019-06-26 | 1 | -4/+24 | |
| | |\ \ \ \ \ \ \ | | | |_|/ / / / / | | |/| | | | | | | ||||||
| | | * | | | | | | 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 | |
| |\ \ \ \ \ \ \ \ | | |/ / / / / / / | |/| | | | | | | |