Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | | | | | | | | | Add whitebox support to DRAM | Eddie Hung | 2019-05-23 | 5 | -24/+26 | |
| * | | | | | | | | | | | | shift register inference before mux | Eddie Hung | 2019-05-22 | 1 | -3/+3 | |
| * | | | | | | | | | | | | Fix/workaround symptom unveiled by #1023 | Eddie Hung | 2019-05-21 | 1 | -4/+14 | |
| * | | | | | | | | | | | | Instead of MUXCY/XORCY use CARRY4 (with timing) | Eddie Hung | 2019-05-21 | 4 | -11/+20 | |
| * | | | | | | | | | | | | Pad all boxes so that all input/output connections specified | Eddie Hung | 2019-05-21 | 1 | -22/+67 | |
| * | | | | | | | | | | | | Modify LUT area cost to be same as old abc | Eddie Hung | 2019-05-21 | 1 | -10/+9 | |
| * | | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xc7mux | Eddie Hung | 2019-05-21 | 56 | -485/+1809 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | Trim off leading 1'bx in A | Eddie Hung | 2019-05-02 | 1 | -7/+20 | |
| * | | | | | | | | | | | | | Add don't care optimisation | Eddie Hung | 2019-05-02 | 1 | -0/+11 | |
| * | | | | | | | | | | | | | Use new peepopt from #969 | Eddie Hung | 2019-05-02 | 1 | -10/+15 | |
| * | | | | | | | | | | | | | Merge remote-tracking branch 'origin/clifford/pmgenstuff' into xc7mux | Eddie Hung | 2019-05-02 | 12 | -145/+491 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | Revert to pre-muxcover approach | Eddie Hung | 2019-05-02 | 2 | -25/+82 | |
| * | | | | | | | | | | | | | | Missing help_mode | Eddie Hung | 2019-05-02 | 1 | -1/+1 | |
| * | | | | | | | | | | | | | | Fix -nocarry | Eddie Hung | 2019-05-02 | 1 | -3/+3 | |
| * | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xc7mux | Eddie Hung | 2019-05-02 | 23 | -219/+310 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | Fix spacing | Eddie Hung | 2019-04-26 | 1 | -4/+4 | |
| * | | | | | | | | | | | | | | | Remove split_shiftx tests | Eddie Hung | 2019-04-26 | 2 | -139/+0 | |
| * | | | | | | | | | | | | | | | Apparently, this reduces number of MUXCY/XORCY | Eddie Hung | 2019-04-26 | 1 | -10/+9 | |
| * | | | | | | | | | | | | | | | Try a different approach with 'muxcover' | Eddie Hung | 2019-04-26 | 2 | -88/+36 | |
| * | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xc7mux | Eddie Hung | 2019-04-26 | 1 | -1/+0 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | Remove split_shiftx call | Eddie Hung | 2019-04-26 | 1 | -4/+1 | |
| * | | | | | | | | | | | | | | | | Revert "Merge branch 'eddie/split_shiftx' into xc7mux" | Eddie Hung | 2019-04-26 | 9 | -158/+14 | |
| * | | | | | | | | | | | | | | | | Missing newline | Eddie Hung | 2019-04-26 | 1 | -1/+1 | |
| * | | | | | | | | | | | | | | | | Add -undef option to equiv_opt, passed to equiv_induct | Eddie Hung | 2019-04-26 | 1 | -3/+16 | |
| * | | | | | | | | | | | | | | | | Actually use pm.st.shiftxB | Eddie Hung | 2019-04-25 | 2 | -3/+6 | |
| * | | | | | | | | | | | | | | | | Cleanup superseded | Eddie Hung | 2019-04-25 | 1 | -11/+1 | |
| * | | | | | | | | | | | | | | | | bitblast_shiftx -> split_shiftx | Eddie Hung | 2019-04-25 | 1 | -2/+2 | |
| * | | | | | | | | | | | | | | | | Fix for when B_WIDTH has trailing zeroes | Eddie Hung | 2019-04-25 | 1 | -5/+9 | |
| * | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/eddie/split_shiftx' into xc7mux | Eddie Hung | 2019-04-25 | 4 | -16/+157 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | In order to indicate a failed pattern, blacklist? | Eddie Hung | 2019-04-25 | 2 | -15/+16 | |
| | * | | | | | | | | | | | | | | | | Add test | Eddie Hung | 2019-04-25 | 2 | -0/+139 | |
| | * | | | | | | | | | | | | | | | | Elaborate on help message | Eddie Hung | 2019-04-25 | 1 | -1/+2 | |
| * | | | | | | | | | | | | | | | | | Merge branch 'eddie/split_shiftx' into xc7mux | Eddie Hung | 2019-04-25 | 9 | -14/+149 | |
| |\| | | | | | | | | | | | | | | | | ||||||
| | * | | | | | | | | | | | | | | | | Add split_shiftx command | Eddie Hung | 2019-04-25 | 2 | -0/+134 | |
| | * | | | | | | | | | | | | | | | | Make pmgen support files more generic | Eddie Hung | 2019-04-25 | 2 | -6/+9 | |
| * | | | | | | | | | | | | | | | | | synth_xilinx to call bitblast_shiftx | Eddie Hung | 2019-04-25 | 1 | -1/+4 | |
| * | | | | | | | | | | | | | | | | | Remove topo sort no-loop assertion, with test | Eddie Hung | 2019-04-24 | 4 | -14/+76 | |
| * | | | | | | | | | | | | | | | | | Add -nocarry option to synth_xilinx | Eddie Hung | 2019-04-24 | 1 | -5/+14 | |
| * | | | | | | | | | | | | | | | | | Fix abc9 with (* keep *) wires | Eddie Hung | 2019-04-23 | 2 | -6/+52 | |
| * | | | | | | | | | | | | | | | | | Refactor into AigerReader::post_process() | Eddie Hung | 2019-04-23 | 2 | -249/+161 | |
| * | | | | | | | | | | | | | | | | | Tweak | Eddie Hung | 2019-04-22 | 1 | -1/+1 | |
| * | | | | | | | | | | | | | | | | | Fix for A_WIDTH == 2 but B_WIDTH==3 | Eddie Hung | 2019-04-22 | 1 | -1/+1 | |
| * | | | | | | | | | | | | | | | | | Trim A_WIDTH by Y_WIDTH-1 | Eddie Hung | 2019-04-22 | 1 | -1/+1 | |
| * | | | | | | | | | | | | | | | | | Add comment | Eddie Hung | 2019-04-22 | 1 | -0/+3 | |
| * | | | | | | | | | | | | | | | | | Fix for mux_case_* mappings | Eddie Hung | 2019-04-22 | 1 | -17/+9 | |
| * | | | | | | | | | | | | | | | | | Fix for non-pow2 width muxes | Eddie Hung | 2019-04-22 | 1 | -9/+18 | |
| * | | | | | | | | | | | | | | | | | Add synth_xilinx -nomux option | Eddie Hung | 2019-04-22 | 2 | -4/+18 | |
| * | | | | | | | | | | | | | | | | | Cleanup, call pmux2shiftx even without -nosrl | Eddie Hung | 2019-04-22 | 6 | -45/+30 | |
| * | | | | | | | | | | | | | | | | | Merge branch 'xaig' into xc7mux | Eddie Hung | 2019-04-22 | 31 | -283/+953 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/xc7srl' into xc7mux | Eddie Hung | 2019-04-22 | 77 | -348/+4702 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ |