aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | | | | | Simplify and comment out mux_map.vEddie Hung2019-06-211-6/+11
| | | | | | | |
* | | | | | | | synth_xilinx to now wreduce except $mux, remove extra peepoptEddie Hung2019-06-211-8/+1
| | | | | | | |
* | | | | | | | mux_map to no longer copy last value into 1'bxEddie Hung2019-06-211-19/+2
| | | | | | | |
* | | | | | | | Fix spacingEddie Hung2019-06-211-3/+3
| | | | | | | |
* | | | | | | | Fix spacing again, A_forward -> A_backwardEddie Hung2019-06-211-38/+40
| | | | | | | |
* | | | | | | | Restore wreduce to synth_xilinx, after muxcoverEddie Hung2019-06-211-0/+1
| | | | | | | |
* | | | | | | | Revert B_SIGNED optimisation, since only works for Y_WIDTH==1Eddie Hung2019-06-211-4/+3
| | | | | | | |
* | | | | | | | Fix spacingEddie Hung2019-06-211-15/+15
| | | | | | | |
* | | | | | | | synth_xilinx to use _ABC macro, and perform muxpack againEddie Hung2019-06-211-5/+5
| | | | | | | |
* | | | | | | | Add $__XILINX_MUXF78 to preserve entire boxEddie Hung2019-06-213-7/+28
| | | | | | | |
* | | | | | | | Do not rename non LUT cells in abc9Eddie Hung2019-06-211-11/+16
| | | | | | | |
* | | | | | | | Replace assert with error messageEddie Hung2019-06-211-1/+2
| | | | | | | |
* | | | | | | | Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux_wipEddie Hung2019-06-215-0/+752
|\ \ \ \ \ \ \ \
| * | | | | | | | Elaborate muxpack docEddie Hung2019-06-101-2/+6
| | | | | | | | |
| * | | | | | | | Merge remote-tracking branch 'origin/master' into eddie/muxpackEddie Hung2019-06-103-13/+72
| |\ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ Merge branch 'master' into eddie/muxpackEddie Hung2019-06-0739-364/+573
| |\ \ \ \ \ \ \ \ \
| * | | | | | | | | | Comment O(N) -> O(N^2)Eddie Hung2019-06-071-1/+1
| | | | | | | | | | |
| * | | | | | | | | | Add nonexcl case test, comment out two othersEddie Hung2019-06-072-22/+57
| | | | | | | | | | |
| * | | | | | | | | | Extend ExclusiveDatabase to query SigSpec-s (for $pmux)Eddie Hung2019-06-071-19/+27
| | | | | | | | | | |
| * | | | | | | | | | Add ExclusiveDatabase to check exclusive $eq/$logic_not cell resultsEddie Hung2019-06-071-1/+64
| | | | | | | | | | |
| * | | | | | | | | | Add @cliffordwolf freduce testcaseEddie Hung2019-06-072-0/+30
| | | | | | | | | | |
| * | | | | | | | | | Add nonexclusive test from @cliffordwolfEddie Hung2019-06-072-0/+28
| | | | | | | | | | |
| * | | | | | | | | | Resolve @cliffordwolf comment on redundant checkEddie Hung2019-06-071-10/+2
| | | | | | | | | | |
| * | | | | | | | | | Resolve @cliffordwolf comment on sigmapEddie Hung2019-06-071-2/+2
| | | | | | | | | | |
| * | | | | | | | | | Another muxpack testEddie Hung2019-06-072-0/+32
| | | | | | | | | | |
* | | | | | | | | | | Fix alignmentEddie Hung2019-06-211-1/+1
| | | | | | | | | | |
* | | | | | | | | | | Merge branch 'xc7mux' into xc7mux_wipEddie Hung2019-06-213-7/+15
|\ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | One more workaround for gcc-4.8Eddie Hung2019-06-211-3/+4
| | | | | | | | | | | |
| * | | | | | | | | | | Revert "autotest.sh to cat *.err on error"Eddie Hung2019-06-211-1/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 21fa8972f3d04f717d0d4afbfa252e842c807619.
| * | | | | | | | | | | Revert "Cat more stuff"Eddie Hung2019-06-211-2/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 638557de3ec600ebe240e2f25e337028ce453ba2.
| * | | | | | | | | | | Workaround issues exposed by gcc-4.8Eddie Hung2019-06-211-0/+7
| | | | | | | | | | | |
| * | | | | | | | | | | Revert "Stab in the dark with aig_map from dict -> std::map"Eddie Hung2019-06-211-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 70ee10b650e01b7b262baa5c6fda934fb860dfce.
| * | | | | | | | | | | Cat more stuffEddie Hung2019-06-211-0/+2
| | | | | | | | | | | |
| * | | | | | | | | | | No point logging constant bitEddie Hung2019-06-211-1/+1
| | | | | | | | | | | |
| * | | | | | | | | | | Move commentEddie Hung2019-06-211-2/+3
| | | | | | | | | | | |
| * | | | | | | | | | | Stab in the dark with aig_map from dict -> std::mapEddie Hung2019-06-211-1/+1
| | | | | | | | | | | |
* | | | | | | | | | | | Add FIXME about need for -mux4Eddie Hung2019-06-212-2/+4
| | | | | | | | | | | |
* | | | | | | | | | | | Since muxcover uses MUX4s, blast them back to gates hereEddie Hung2019-06-211-0/+7
| | | | | | | | | | | |
* | | | | | | | | | | | Expand synth -coarse without wreduce, move muxcoverEddie Hung2019-06-211-12/+24
| | | | | | | | | | | |
* | | | | | | | | | | | Merge remote-tracking branch 'origin/clifford/fix1091' into xc7mux_wipEddie Hung2019-06-212-46/+239
|\ \ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / / |/| | | | | | | | | | / | | |_|_|_|_|_|_|_|_|/ | |/| | | | | | | | |
| * | | | | | | | | | Replace "muxcover -freedecode" with "muxcover -dmux=cost"Clifford Wolf2019-06-211-15/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | | Add "muxcover -freedecode"Clifford Wolf2019-06-211-0/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | | Improvements in muxcoverClifford Wolf2019-06-201-38/+55
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - Slightly under-estimate cost of decoder muxes - Prefer larger muxes at tree root at same cost - Don't double-count input cost for partial muxes - Add debug log output
| * | | | | | | | | | Missing a `clean` and `opt_expr -mux_bool` in testEddie Hung2019-06-201-0/+4
| | | | | | | | | | |
| * | | | | | | | | | Add testEddie Hung2019-06-201-1/+136
| | | | | | | | | | |
| * | | | | | | | | | Add support for partial matches to muxcover, fixes #1091Clifford Wolf2019-06-201-7/+31
| | |_|_|_|/ / / / / | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | | autotest.sh to cat *.err on errorEddie Hung2019-06-211-0/+1
| | | | | | | | | |
* | | | | | | | | | Fix spacingEddie Hung2019-06-201-1/+1
| | | | | | | | | |
* | | | | | | | | | Revert MakefileEddie Hung2019-06-201-2/+2
| | | | | | | | | |
* | | | | | | | | | Refactor bit2aig for less lookupsEddie Hung2019-06-201-24/+27
| | | | | | | | | |