Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | 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 | |
| * | | | | | | | | | | | | | | | | | | | | | | 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 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | 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 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | 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 remote-tracking branch 'origin/xaig' into xc7mux | Eddie Hung | 2019-06-25 | 0 | -0/+0 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/xaig' into xc7mux | Eddie Hung | 2019-06-25 | 7 | -35/+235 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | This optimisation doesn't seem to work... | Eddie Hung | 2019-06-25 | 1 | -24/+24 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | nullptr check | Eddie Hung | 2019-06-24 | 1 | -0/+1 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | Realistic delays for RAM32X1D too | Eddie Hung | 2019-06-24 | 1 | -2/+2 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/xaig' into xc7mux | Eddie Hung | 2019-06-24 | 1 | -4/+4 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add RAM32X1D box info | Eddie Hung | 2019-06-24 | 2 | -4/+12 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/xaig' into xc7mux | Eddie Hung | 2019-06-24 | 8 | -10/+104 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/eddie/ram32x1d' into xc7mux | Eddie Hung | 2019-06-24 | 5 | -8/+72 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Reduce MuxFx resources in mux techmapping | Eddie Hung | 2019-06-24 | 1 | -10/+30 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Reduce number of decomposed muxes during techmap | Eddie Hung | 2019-06-24 | 1 | -14/+11 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Revert "Fix techmapping muxes some more" | Eddie Hung | 2019-06-24 | 1 | -4/+4 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Move comment | Eddie Hung | 2019-06-24 | 1 | -3/+3 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fix techmapping muxes some more | Eddie Hung | 2019-06-24 | 1 | -4/+4 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fix mux techmapping | Eddie Hung | 2019-06-24 | 1 | -19/+20 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Modify costs for muxcover | Eddie Hung | 2019-06-24 | 1 | -1/+15 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Revert Makefile | Eddie Hung | 2019-06-24 | 1 | -2/+2 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Change synth_xilinx's -nomux to -minmuxf <int> | Eddie Hung | 2019-06-24 | 3 | -54/+82 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/xaig' into xc7mux | Eddie Hung | 2019-06-22 | 9 | -391/+85 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Remove $_MUX4_ techmap rule | Eddie Hung | 2019-06-21 | 1 | -11/+0 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fix wreduce call (!!!), tweak muxcover costs | Eddie Hung | 2019-06-21 | 1 | -5/+6 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/xaig' into xc7mux | Eddie Hung | 2019-06-21 | 9 | -9/+158 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/xaig' into xc7mux | Eddie Hung | 2019-06-21 | 1 | -16/+19 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/xaig' into xc7mux | Eddie Hung | 2019-06-21 | 1 | -1/+1 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add log_push()/log_pop() inside write_xaiger | Eddie Hung | 2019-06-21 | 1 | -0/+4 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Constrain wreduce only if wide mux | Eddie Hung | 2019-06-21 | 1 | -1/+4 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Simplify and comment out mux_map.v | Eddie Hung | 2019-06-21 | 1 | -6/+11 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | synth_xilinx to now wreduce except $mux, remove extra peepopt | Eddie Hung | 2019-06-21 | 1 | -8/+1 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | mux_map to no longer copy last value into 1'bx | Eddie Hung | 2019-06-21 | 1 | -19/+2 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fix spacing | Eddie Hung | 2019-06-21 | 1 | -3/+3 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fix spacing again, A_forward -> A_backward | Eddie Hung | 2019-06-21 | 1 | -38/+40 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Restore wreduce to synth_xilinx, after muxcover | Eddie Hung | 2019-06-21 | 1 | -0/+1 |