aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | | | | | Add timescale and generated-by header to yosys-smtbmc MkVcdClifford Wolf2019-06-161-0/+2
| | |_|_|_|_|_|_|/ / | |/| | | | | | | |
* | | | | | | | | | Merge branch 'xaig' into xaig_dffEddie Hung2019-06-171-5/+5
|\ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|_|/ | |/| | | | | | | |
| * | | | | | | | | Update LUT7/8 delays to take account for [ABC]OUTMUX delayEddie Hung2019-06-171-5/+5
* | | | | | | | | | Add box delays for FD*Eddie Hung2019-06-171-10/+10
* | | | | | | | | | CleanupEddie Hung2019-06-171-3/+3
* | | | | | | | | | Merge branch 'xaig' into xaig_dffEddie Hung2019-06-171-1/+1
|\| | | | | | | | |
| * | | | | | | | | &scorr before &sweep, remove &retime as recommendedEddie Hung2019-06-171-1/+1
* | | | | | | | | | Merge branch 'xaig' into xaig_dffEddie Hung2019-06-171-3/+4
|\| | | | | | | | |
| * | | | | | | | | Copy not move parameters/attributesEddie Hung2019-06-171-3/+4
* | | | | | | | | | Merge branch 'xaig' into xaig_dffEddie Hung2019-06-173-25/+37
|\| | | | | | | | |
| * | | | | | | | | Fix leak removing cells during ABC integration; also preserve attrEddie Hung2019-06-173-27/+37
* | | | | | | | | | Merge remote-tracking branch 'origin/xaig' into xaig_dffEddie Hung2019-06-172-2/+3
|\| | | | | | | | |
| * | | | | | | | | Try -W 300Eddie Hung2019-06-171-1/+2
| * | | | | | | | | Re-enable &dc2Eddie Hung2019-06-171-1/+1
* | | | | | | | | | CleanupEddie Hung2019-06-165-73/+59
* | | | | | | | | | Merge branch 'xaig' into xaig_dffEddie Hung2019-06-160-0/+0
|\| | | | | | | | |
| * | | | | | | | | CleanupEddie Hung2019-06-163-299/+33
* | | | | | | | | | Cleanup write_xaigerEddie Hung2019-06-151-15/+10
* | | | | | | | | | CleanupEddie Hung2019-06-151-40/+7
* | | | | | | | | | abc9 to recover_init by defaultEddie Hung2019-06-151-11/+6
* | | | | | | | | | Read init from outputsEddie Hung2019-06-151-0/+4
* | | | | | | | | | Add +/xilinx/abc_ffEddie Hung2019-06-151-0/+33
* | | | | | | | | | Preserve init of flops, and write into XAIGEddie Hung2019-06-151-5/+30
* | | | | | | | | | Do not treat $__ABC_FF_ as a user cellEddie Hung2019-06-152-30/+15
* | | | | | | | | | Fix spacingEddie Hung2019-06-151-1/+1
* | | | | | | | | | Update commentEddie Hung2019-06-151-1/+1
* | | | | | | | | | CleanupEddie Hung2019-06-151-10/+7
* | | | | | | | | | Use $__ABC_FF_ instead of $_FF_Eddie Hung2019-06-153-17/+33
* | | | | | | | | | Fix debug messageEddie Hung2019-06-151-0/+1
* | | | | | | | | | Fix log_debug messagesEddie Hung2019-06-151-17/+23
* | | | | | | | | | Re-order alphabeticallyEddie Hung2019-06-151-1/+1
* | | | | | | | | | Fix initialisation of flopsEddie Hung2019-06-153-14/+15
* | | | | | | | | | Update commentEddie Hung2019-06-151-1/+1
* | | | | | | | | | Map to $_FF_ instead of $_DFF_P_ to prevent recursion issuesEddie Hung2019-06-153-15/+15
* | | | | | | | | | Missing close bracketEddie Hung2019-06-151-1/+1
* | | | | | | | | | Wrap FDRE with $__ABC_FDRE containing combEddie Hung2019-06-154-12/+29
* | | | | | | | | | For now, short $_DFF_[NP]_ from ff_map.v at re-integrationEddie Hung2019-06-151-0/+8
* | | | | | | | | | read_aiger to not require clk_name for latches, plus debugEddie Hung2019-06-151-21/+37
* | | | | | | | | | write_xaiger to treat abc_flop boxes as boxff for ABCEddie Hung2019-06-151-122/+105
|/ / / / / / / / /
* | | | | | | | | Fix upper XC7 LUT[78] delays to use I[01] -> O delay not S -> OEddie Hung2019-06-151-2/+2
* | | | | | | | | Leave breadcrumb behindEddie Hung2019-06-141-0/+2
* | | | | | | | | Remove redundant conditionEddie Hung2019-06-141-1/+1
* | | | | | | | | Revert "Cleanup/optimise toposort in write_xaiger"Eddie Hung2019-06-141-44/+40
* | | | | | | | | Update commentEddie Hung2019-06-141-1/+2
* | | | | | | | | Check that whiteboxes are synthesisableEddie Hung2019-06-141-4/+8
* | | | | | | | | Get rid of compiler warningsEddie Hung2019-06-142-7/+7
* | | | | | | | | As per @daveshah1 remove async DFF timing from xilinxEddie Hung2019-06-141-2/+2
* | | | | | | | | Cover __APPLE__ too for little to big endianEddie Hung2019-06-142-8/+16
* | | | | | | | | Update abc9 -D docEddie Hung2019-06-141-1/+2
* | | | | | | | | Enable "abc9 -D <num>" for timing-driven synthesisEddie Hung2019-06-141-9/+9