aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | | | | | Re-enable lib_whiteboxEddie Hung2019-05-271-5/+5
| * | | | | | | | | | Disconnect all ABC boxes tooEddie Hung2019-05-271-11/+9
| * | | | | | | | | | Remove unused functionEddie Hung2019-05-271-23/+0
| * | | | | | | | | | parse_xaiger to not parse symbol tableEddie Hung2019-05-271-64/+0
| * | | | | | | | | | Parse without wideportsEddie Hung2019-05-271-1/+1
| * | | | | | | | | | Remove mapped_mod when doneEddie Hung2019-05-271-0/+2
| * | | | | | | | | | Instantiate cell type (from sym file) otherwise 'clean' warningsEddie Hung2019-05-273-12/+15
| * | | | | | | | | | Add 'cinput' and 'coutput' to symbols file for boxesEddie Hung2019-05-273-41/+77
| * | | | | | | | | | Fix "a" connectivityEddie Hung2019-05-261-5/+30
| * | | | | | | | | | BlackboxesEddie Hung2019-05-262-10/+10
| * | | | | | | | | | ABC9 to call &sweepEddie Hung2019-05-261-2/+1
| * | | | | | | | | | Fix padding, remove CIs from undriven_bits before erasing undriven POsEddie Hung2019-05-261-14/+8
| * | | | | | | | | | TypoEddie Hung2019-05-261-1/+1
| * | | | | | | | | | Muck about with LUT delays some moreEddie Hung2019-05-261-5/+5
| * | | | | | | | | | Combine ABC_COMMAND_LUTEddie Hung2019-05-261-2/+1
| * | | | | | | | | | Fix "a" extensionEddie Hung2019-05-262-9/+21
| * | | | | | | | | | Fix "write_xaiger", and to write each box contents into holesEddie Hung2019-05-251-39/+62
| * | | | | | | | | | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-05-252-7/+27
| |\ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | Try new LUT delaysEddie Hung2019-05-241-8/+11
| * | | | | | | | | | | Add &fraig and &mfs backEddie Hung2019-05-241-2/+1
| * | | | | | | | | | | Transpose CARRY4 delaysEddie Hung2019-05-241-10/+8
| * | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-05-231-0/+4
| |\ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/eddie/opt_rmdff' into xc7muxEddie Hung2019-05-238-20/+120
| |\ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | 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