aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | | | | | | | Add whitebox support to DRAMEddie Hung2019-05-235-24/+26
| * | | | | | | | | | | | shift register inference before muxEddie Hung2019-05-221-3/+3
| * | | | | | | | | | | | Fix/workaround symptom unveiled by #1023Eddie Hung2019-05-211-4/+14
| * | | | | | | | | | | | Instead of MUXCY/XORCY use CARRY4 (with timing)Eddie Hung2019-05-214-11/+20
| * | | | | | | | | | | | Pad all boxes so that all input/output connections specifiedEddie Hung2019-05-211-22/+67
| * | | | | | | | | | | | Modify LUT area cost to be same as old abcEddie Hung2019-05-211-10/+9
| * | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-05-2156-485/+1809
| |\ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | Trim off leading 1'bx in AEddie Hung2019-05-021-7/+20
| * | | | | | | | | | | | | Add don't care optimisationEddie Hung2019-05-021-0/+11
| * | | | | | | | | | | | | Use new peepopt from #969Eddie Hung2019-05-021-10/+15
| * | | | | | | | | | | | | Merge remote-tracking branch 'origin/clifford/pmgenstuff' into xc7muxEddie Hung2019-05-0212-145/+491
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | Revert to pre-muxcover approachEddie Hung2019-05-022-25/+82
| * | | | | | | | | | | | | | Missing help_modeEddie Hung2019-05-021-1/+1
| * | | | | | | | | | | | | | Fix -nocarryEddie Hung2019-05-021-3/+3
| * | | | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-05-0223-219/+310
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | Fix spacingEddie Hung2019-04-261-4/+4
| * | | | | | | | | | | | | | | Remove split_shiftx testsEddie Hung2019-04-262-139/+0
| * | | | | | | | | | | | | | | Apparently, this reduces number of MUXCY/XORCYEddie Hung2019-04-261-10/+9
| * | | | | | | | | | | | | | | Try a different approach with 'muxcover'Eddie Hung2019-04-262-88/+36
| * | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-04-261-1/+0
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | Remove split_shiftx callEddie Hung2019-04-261-4/+1
| * | | | | | | | | | | | | | | | Revert "Merge branch 'eddie/split_shiftx' into xc7mux"Eddie Hung2019-04-269-158/+14
| * | | | | | | | | | | | | | | | Missing newlineEddie Hung2019-04-261-1/+1
| * | | | | | | | | | | | | | | | Add -undef option to equiv_opt, passed to equiv_inductEddie Hung2019-04-261-3/+16
| * | | | | | | | | | | | | | | | Actually use pm.st.shiftxBEddie Hung2019-04-252-3/+6
| * | | | | | | | | | | | | | | | Cleanup supersededEddie Hung2019-04-251-11/+1
| * | | | | | | | | | | | | | | | bitblast_shiftx -> split_shiftxEddie Hung2019-04-251-2/+2
| * | | | | | | | | | | | | | | | Fix for when B_WIDTH has trailing zeroesEddie Hung2019-04-251-5/+9
| * | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/eddie/split_shiftx' into xc7muxEddie Hung2019-04-254-16/+157
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | | | | In order to indicate a failed pattern, blacklist?Eddie Hung2019-04-252-15/+16
| | * | | | | | | | | | | | | | | | Add testEddie Hung2019-04-252-0/+139
| | * | | | | | | | | | | | | | | | Elaborate on help messageEddie Hung2019-04-251-1/+2
| * | | | | | | | | | | | | | | | | Merge branch 'eddie/split_shiftx' into xc7muxEddie Hung2019-04-259-14/+149
| |\| | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | Add split_shiftx commandEddie Hung2019-04-252-0/+134
| | * | | | | | | | | | | | | | | | Make pmgen support files more genericEddie Hung2019-04-252-6/+9
| * | | | | | | | | | | | | | | | | synth_xilinx to call bitblast_shiftxEddie Hung2019-04-251-1/+4
| * | | | | | | | | | | | | | | | | Remove topo sort no-loop assertion, with testEddie Hung2019-04-244-14/+76
| * | | | | | | | | | | | | | | | | Add -nocarry option to synth_xilinxEddie Hung2019-04-241-5/+14
| * | | | | | | | | | | | | | | | | Fix abc9 with (* keep *) wiresEddie Hung2019-04-232-6/+52
| * | | | | | | | | | | | | | | | | Refactor into AigerReader::post_process()Eddie Hung2019-04-232-249/+161
| * | | | | | | | | | | | | | | | | TweakEddie Hung2019-04-221-1/+1
| * | | | | | | | | | | | | | | | | Fix for A_WIDTH == 2 but B_WIDTH==3Eddie Hung2019-04-221-1/+1
| * | | | | | | | | | | | | | | | | Trim A_WIDTH by Y_WIDTH-1Eddie Hung2019-04-221-1/+1
| * | | | | | | | | | | | | | | | | Add commentEddie Hung2019-04-221-0/+3
| * | | | | | | | | | | | | | | | | Fix for mux_case_* mappingsEddie Hung2019-04-221-17/+9
| * | | | | | | | | | | | | | | | | Fix for non-pow2 width muxesEddie Hung2019-04-221-9/+18
| * | | | | | | | | | | | | | | | | Add synth_xilinx -nomux optionEddie Hung2019-04-222-4/+18
| * | | | | | | | | | | | | | | | | Cleanup, call pmux2shiftx even without -nosrlEddie Hung2019-04-226-45/+30
| * | | | | | | | | | | | | | | | | Merge branch 'xaig' into xc7muxEddie Hung2019-04-2231-283/+953
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/xc7srl' into xc7muxEddie Hung2019-04-2277-348/+4702
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \