aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/clifford/whitebox' into xaigEddie Hung2019-04-1823-42/+81
|\
| * Add "whitebox" attribute, add "read_verilog -wb"Clifford Wolf2019-04-1823-42/+81
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Skip if abc_box_id earlierEddie Hung2019-04-171-3/+3
| |
* | Remove use of abc_box_id in statEddie Hung2019-04-171-3/+0
| |
* | Fix $anyseq warning and cleanupEddie Hung2019-04-171-16/+7
| |
* | Update Makefile.inc tooEddie Hung2019-04-171-4/+6
| |
* | Reduce to three devices: hx, lp, uEddie Hung2019-04-177-4/+23
| |
* | Do not print slack histogramEddie Hung2019-04-171-1/+1
| |
* | Add up5k timingsEddie Hung2019-04-172-0/+19
| |
* | Fix grammarEddie Hung2019-04-171-2/+2
| |
* | Update error messageEddie Hung2019-04-171-1/+1
| |
* | Add "-device" argument to synth_ice40Eddie Hung2019-04-174-7/+20
| |
* | Missing abc_flop_q attribute on SPRAMEddie Hung2019-04-171-1/+1
| |
* | Cope with inout portsEddie Hung2019-04-171-1/+15
| |
* | Map to SB_LUT4 from fastest input firstEddie Hung2019-04-171-7/+11
| |
* | Working ABC9 scriptEddie Hung2019-04-171-2/+2
| |
* | Stop topological sort at abc_flop_qEddie Hung2019-04-171-7/+13
| |
* | Mark seq output ports with "abc_flop_q" attrEddie Hung2019-04-171-24/+24
| |
* | Also update Makefile.incEddie Hung2019-04-171-3/+3
| |
* | 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
| | |