aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #1437 from YosysHQ/eddie/abc_to_abc9Eddie Hung2019-10-081-68/+67
|\ | | | | Rename abc_* names/attributes to more precisely be abc9_*
| * Merge branch 'master' into eddie/abc_to_abc9Eddie Hung2019-10-042-4/+15
| |\
| * | Rename abc_* names/attributes to more precisely be abc9_*Eddie Hung2019-10-041-65/+65
| | |
* | | Merge pull request #1438 from YosysHQ/eddie/xilinx_dsp_commentsEddie Hung2019-10-084-68/+356
|\ \ \ | | | | | | | | Add notes and comments for xilinx_dsp
| * | | Missed thisEddie Hung2019-10-051-3/+4
| | | |
| * | | Add comment on why we have to match for clock-enable/reset muxesEddie Hung2019-10-053-3/+11
| | | |
| * | | Add note on pattern detectorEddie Hung2019-10-051-3/+7
| | | |
| * | | Add comments for xilinx_dsp_cascadeEddie Hung2019-10-041-12/+100
| | | |
| * | | Improve comments for xilinx_dsp_CREGEddie Hung2019-10-041-6/+7
| | | |
| * | | Fix commentEddie Hung2019-10-041-1/+1
| | | |
| * | | Restore optimisation for sigM.empty()Eddie Hung2019-10-041-1/+4
| | | |
| * | | Retry on fixing TODOsEddie Hung2019-10-042-13/+1
| | | |
| * | | Revert "Fix TODOs"Eddie Hung2019-10-042-0/+20
| | | | | | | | | | | | | | | | This reverts commit 8674a6c68d563908014d16671567459499c6dc99.
| * | | More comments, cleanupEddie Hung2019-10-042-41/+108
| | | |
| * | | Fix TODOsEddie Hung2019-10-042-20/+0
| | | |
| * | | ConsistencyEddie Hung2019-10-041-3/+3
| | | |
| * | | Add comments for xilinx_dspEddie Hung2019-10-043-6/+134
| | |/ | |/|
* | | Merge pull request #1439 from YosysHQ/eddie/fix_ice40_wrapcarryClifford Wolf2019-10-061-0/+4
|\ \ \ | | | | | | | | Missing 'accept' at end of ice40_wrapcarry, spotted by @cliffordwolf
| * | | Missing 'accept' at end of ice40_wrapcarry, spotted by @cliffordwolfEddie Hung2019-10-051-0/+4
| |/ /
* | | Update README.mdClifford Wolf2019-10-051-1/+1
| | |
* | | Merge pull request #1436 from YosysHQ/mmicko/msvc_fixMiodrag Milanović2019-10-051-0/+1
|\ \ \ | |/ / |/| | Fixes for MSVC build
| * | Fixes for MSVC buildMiodrag Milanovic2019-10-041-0/+1
| |/
* | Add temporary `abc9 -nomfs` and use for `synth_xilinx -abc9`Eddie Hung2019-10-041-3/+13
| |
* | Fix xilinx_dsp for unsigned extensionsEddie Hung2019-10-041-1/+3
|/
* Merge pull request #1422 from YosysHQ/eddie/aigmap_selectClifford Wolf2019-10-031-6/+40
|\ | | | | Add -select option to aigmap
| * Add -select option to aigmapEddie Hung2019-09-301-6/+40
| |
* | Merge pull request #1429 from YosysHQ/clifford/checkmappedClifford Wolf2019-10-031-27/+55
|\ \ | | | | | | Add "check -mapped"
| * | Add "check -allow-tbuf"Clifford Wolf2019-10-031-8/+22
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Add "check -mapped"Clifford Wolf2019-10-021-21/+35
| |/ | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Also rename cells with _TECHMAP_REPLACE_. prefix, as per @cliffordwolfEddie Hung2019-10-021-4/+8
| |
* | techmap wires named _TECHMAP_REPLACE_.<identifier> to create aliasEddie Hung2019-09-301-0/+10
|/
* Update doc for equiv_optEddie Hung2019-09-301-2/+3
|
* Merge pull request #1416 from YosysHQ/mmicko/frontend_binary_inMiodrag Milanović2019-09-301-1/+1
|\ | | | | Open aig frontend as binary file
| * Open aig frontend as binary fileMiodrag Milanovic2019-09-291-1/+1
| |
* | Merge pull request #1412 from YosysHQ/eddie/equiv_opt_async2syncClifford Wolf2019-09-301-0/+2
|\ \ | | | | | | equiv_opt to call async2sync when not -multiclock like SymbiYosys
| * | equiv_opt to call async2sync when not -multiclock like SymbiYosysEddie Hung2019-09-271-0/+2
| |/
* | Fix $dlatch handling in async2syncClifford Wolf2019-09-301-0/+1
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Merge pull request #1359 from YosysHQ/xc7dspEddie Hung2019-09-2912-229/+2498
|\ \ | |/ |/| DSP inference for Xilinx (improved for ice40, initial support for ecp5)
| * Ooops AREG and BREG to default to -1Eddie Hung2019-09-271-2/+2
| |
| * Update doc with max cascade chain of 20Eddie Hung2019-09-261-2/+4
| |
| * Do not always zero out C (e.g. during cascade breaks)Eddie Hung2019-09-262-7/+3
| |
| * Update docEddie Hung2019-09-261-1/+2
| |
| * Zero out portsEddie Hung2019-09-261-2/+2
| |
| * xilinx_dsp_cascade to also cascade AREG and BREGEddie Hung2019-09-262-454/+172
| |
| * Try recursive pmgen for P cascadeEddie Hung2019-09-261-88/+118
| |
| * CREG to check for \keepEddie Hung2019-09-261-0/+3
| |
| * Remove newlineEddie Hung2019-09-261-1/+0
| |
| * Do not die if DSP48E1.P has no users (would otherwise get 'clean'-ed)Eddie Hung2019-09-251-1/+5
| |
| * Reject if (* init *) presentEddie Hung2019-09-252-0/+6
| |
| * Rework xilinx_dsp postAdd for new wreduce callEddie Hung2019-09-251-3/+3
| |