aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| | | | | | | | | | | | | | | | | | | | | | * | | | | | | | | | synth_ice40 to use renamed filesEddie Hung2019-04-171-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | * | | | | | | | | | Rename to abc.*Eddie Hung2019-04-173-0/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | * | | | | | | | | | Revert "Try using an ICE40_CARRY_LUT primitive to avoid ABC issues"Eddie Hung2019-04-177-102/+35
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit a7632ab3326c5247b8152a53808413b259c13253.
| | | | | | | | | | | | | | | | | | | | | | * | | | | | | | | | Try using an ICE40_CARRY_LUT primitive to avoid ABC issuesEddie Hung2019-04-177-35/+102
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | * | | | | | | | | | Remove init* from xaiger, also topo-sort cells for box flowEddie Hung2019-04-171-95/+157
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | * | | | | | | | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-171-1/+1
| | | | | | | | | | | | | | | | | | | | | | |\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | |_|_|_|_|_|_|/ / / / / / / / / / | | | | | | | | | | | | | | | |/| | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | * | | | | | | | | | | | | | | | | Update to ABC d1b6413Clifford Wolf2019-04-171-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | | | | | | | | | | | | | | | | | | | | * | | | | | | | | | Ignore a/i/o/h XAIGER extensionsEddie Hung2019-04-171-0/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | * | | | | | | | | | Fix spacingEddie Hung2019-04-171-5/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | * | | | | | | | | | OptimiseEddie Hung2019-04-161-4/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | * | | | | | | | | | Add SB_LUT4 to box libraryEddie Hung2019-04-163-0/+16
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | * | | | | | | | | | Add ice40 box filesEddie Hung2019-04-166-1/+27
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | * | | | | | | | | | abc9 to output some more infoEddie Hung2019-04-161-1/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | * | | | | | | | | | CIs before PIs; also sort each cell's connections before iteratingEddie Hung2019-04-161-5/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | * | | | | | | | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-161-28/+0
| | | | | | | | | | | | | | | | | | | | | | |\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | |_|_|_|_|_|_|/ / / / / / / / / / | | | | | | | | | | | | | | | |/| | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | * | | | | | | | | | | | | | | | | Merge pull request #939 from YosysHQ/revert895Eddie Hung2019-04-161-28/+0
| | | | | | | | | | | | | | | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Revert #895 (mux-to-shiftx optimisation)
| | | | | | | | | | | | | | | | * | | | | | | | | | | | | | | | | Revert #895Eddie Hung2019-04-161-28/+0
| | | | | | | | | | | | | | | |/ / / / / / / / / / / / / / / / /
| | | | | | | | | | | | | | | | | | | | | | * / / / / / / / / / Port from xc7mux branchEddie Hung2019-04-163-54/+167
| | | | | | | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / / / / / / / / / | | | | | | |/| | | | | | | | | | | | | | | | | | | | | | | |
| | | | | | * | | | | | | | | | | | | | | | | | | | | | | | | Re-enable partsel.v testEddie Hung2019-04-161-1/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | | * | | | | | | | | | | | | | | | | | | | | | | | | abc9 to call "setundef -zero" behaving as for abcEddie Hung2019-04-161-0/+3
| | | | | |/ / / / / / / / / / / / / / / / / / / / / / / / /
| | | | | * | | | | | | | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-153-6/+5
| | | | | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | |_|_|_|_|_|_|_|/ / / / / / / / / / / / / / / / | | | | | | |/| | | | | | | | | | | | | | | | | | | | | | |
| | | | | | * | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #937 from YosysHQ/revert-932-eddie/fixdlatchEddie Hung2019-04-152-4/+3
| | | | | | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Revert "Recognise default entry in case even if all cases covered (fix for #931)"
| | | | | | | * | | | | | | | | | | | | | | | | | | | | | | | Revert "Recognise default entry in case even if all cases covered (fix for ↵Eddie Hung2019-04-152-4/+3
| | | | | | |/ / / / / / / / / / / / / / / / / / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #931)"
| | | | | | * | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #936 from YosysHQ/README-fix-quotesEddie Hung2019-04-151-2/+2
| | | | | | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | |_|_|_|_|_|_|_|_|_|_|_|/ / / / / / / / / / / / | | | | | | |/| | | | | | | | | | | | | | | | | | | | | | | README: fix some incorrect quoting
| | | | | | | * | | | | | | | | | | | | | | | | | | | | | | README: fix some incorrect quoting.whitequark2019-04-151-2/+2
| | | | | | |/ / / / / / / / / / / / / / / / / / / / / / /
| | | | | * | | | | | | | | | | | | | | | | | | | | | | | Forgot backslashesEddie Hung2019-04-121-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | * | | | | | | | | | | | | | | | | | | | | | | | Handle __dummy_o__ and __const[01]__ in read_aiger not abcEddie Hung2019-04-122-18/+8
| | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | * | | | | | | | | | | | | | | | | | | | | | | | abc to ignore __dummy_o__ and __const[01]__ when re-integratingEddie Hung2019-04-121-6/+20
| | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | * | | | | | | | | | | | | | | | | | | | | | | | Output __const0__ and __const1__ CIsEddie Hung2019-04-121-7/+10
| | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | * | | | | | | | | | | | | | | | | | | | | | | | Merge branch 'xaig' of github.com:YosysHQ/yosys into xaigEddie Hung2019-04-121-12/+32
| | | | | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | | | | | * | | | | | | | | | | | | | | | | | | | | | | | Fix inout handling for -map optionEddie Hung2019-04-121-10/+30
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | * | | | | | | | | | | | | | | | | | | | | | | | | Merge branch 'xaig' of github.com:YosysHQ/yosys into xaigEddie Hung2019-04-120-0/+0
| | | | | |\| | | | | | | | | | | | | | | | | | | | | | | |
| | | | | | * | | | | | | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-127-50/+76
| | | |_|_|/| | | | | | | | | | | | | | | | | | | | | | | | | | |/| | | |/ / / / / / / / / / / / / / / / / / / / / / /
| | | | | * | | | | | | | | | | | | | | | | | | | | | | | Use -map instead of -symbols for aigerEddie Hung2019-04-121-2/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | * | | | | | | | | | | | | | | | | | | | | | | | ci_bits and co_bits now a list, order is important for ABCEddie Hung2019-04-121-24/+34
| | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | * | | | | | | | | | | | | | | | | | | | | | | | Also cope with duplicated CIsEddie Hung2019-04-121-5/+23
| | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | * | | | | | | | | | | | | | | | | | | | | | | | WIPEddie Hung2019-04-121-14/+68
| | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | * | | | | | | | | | | | | | | | | | | | | | | | Comment outEddie Hung2019-04-121-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | * | | | | | | | | | | | | | | | | | | | | | | | Add support for synth_xilinx -abc9 and ignore abc9 -dress optEddie Hung2019-04-122-1/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | * | | | | | | | | | | | | | | | | | | | | | | | Cope with an output having same name as an input (i.e. CO)Eddie Hung2019-04-121-5/+23
| | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | | | | * | | | | | | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-127-50/+76
| | | |_|/| | | | | | | | | | | | | | | | | | | | | | | | | | |/| | |/ / / / / / / / / / / / / / / / / / / / / / /
| | | | | * | | | | | | | | | | | | | | | | | | | | | | Merge pull request #928 from litghost/add_xc7_sim_modelsEddie Hung2019-04-123-41/+60
| | | | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add additional cells sim models for core 7-series primitives.
| | | | | * | | | | | | | | | | | | | | | | | | | | | | Remove BUFGCTRL, BUFHCE and LUT6_2 from cells_xtra.Keith Rothman2019-04-123-52/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
| | | | | * | | | | | | | | | | | | | | | | | | | | | | Fix LUT6_2 definition.Keith Rothman2019-04-091-3/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
| | | | | * | | | | | | | | | | | | | | | | | | | | | | Add additional cells sim models for core 7-series primatives.Keith Rothman2019-04-091-0/+57
| | | | | | |_|_|_|_|_|_|_|/ / / / / / / / / / / / / / | | | | | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
| | | | * | | | | | | | | | | | | | | | | | | | | | | Merge pull request #933 from dh73/masterClifford Wolf2019-04-121-3/+9
| | | | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fixing issues in CycloneV cell sim
| | | | | * | | | | | | | | | | | | | | | | | | | | | | Fixing issues in CycloneV cell simDiego2019-04-111-3/+9
| | | | | |/ / / / / / / / / / / / / / / / / / / / / /
| | | | * | | | | | | | | | | | | | | | | | | | | | | Merge pull request #932 from YosysHQ/eddie/fixdlatchClifford Wolf2019-04-122-3/+4
| | | | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | |/ / / / / / / / / / / / / / / / / / / / / / / | | | |/| / / / / / / / / / / / / / / / / / / / / / / | | | | |/ / / / / / / / / / / / / / / / / / / / / / Recognise default entry in case even if all cases covered (fix for #931)
| | | * | | | | | | | | | | | | | | | | | | | | | | Add default entry to testcaseEddie Hung2019-04-111-2/+3
| | | | | | | | | | | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | | | | | | | | | | Recognise default entry in case even if all cases covered (#931)Eddie Hung2019-04-111-1/+1
| | | |/ / / / / / / / / / / / / / / / / / / / / /