aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* Use "abc9_period" attribute for delay targetEddie Hung2019-10-071-3/+24
* Do not require changes to cells_sim.v; try and work out comb modelEddie Hung2019-10-051-30/+6
* Fix from mergeEddie Hung2019-10-041-1/+1
* Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-10-042-3/+15
|\
| * 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
* | Fix merge issuesEddie Hung2019-10-042-10/+2
* | Merge remote-tracking branch 'origin/eddie/abc_to_abc9' into xaig_dffEddie Hung2019-10-041-68/+67
|\ \
| * | Rename abc_* names/attributes to more precisely be abc9_*Eddie Hung2019-10-041-65/+65
| |/
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-10-032-27/+69
|\|
| * Merge pull request #1422 from YosysHQ/eddie/aigmap_selectClifford Wolf2019-10-031-6/+40
| |\
| | * 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 -allow-tbuf"Clifford Wolf2019-10-031-8/+22
| | * | Add "check -mapped"Clifford Wolf2019-10-021-21/+35
| | |/
| * | 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
| |/
* | No need to punch ports at allEddie Hung2019-09-301-13/+0
* | Resolve FIXME on calling proc just onceEddie Hung2019-09-301-2/+2
* | Remove need for $currQ port connectionEddie Hung2019-09-301-0/+8
* | Add commentEddie Hung2019-09-301-0/+1
* | scc call on active module module only, plus cleanupEddie Hung2019-09-301-21/+16
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-303-2/+6
|\|
| * 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 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 SymbiYosysEddie Hung2019-09-271-0/+2
| | |/
| * | Fix $dlatch handling in async2syncClifford Wolf2019-09-301-0/+1
* | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-2912-229/+2498
|\| |
| * | Merge pull request #1359 from YosysHQ/xc7dspEddie Hung2019-09-2912-229/+2498
| |\ \ | | |/ | |/|
| | * 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
| | * Fix memory issue since SigSpec& could be invalidatedEddie Hung2019-09-251-6/+10
| | * unextend only used in initEddie Hung2019-09-251-2/+1
| | * Call 'wreduce' after mul2dsp to avoid unextend()Eddie Hung2019-09-251-5/+4
| | * "abc_padding" attr for blackbox outputs that were padded, remove them laterEddie Hung2019-09-231-3/+16
| | * Set [AB]CASCREG to legal valuesEddie Hung2019-09-231-6/+10
| | * Comment to explain separating CREG packingEddie Hung2019-09-231-0/+8
| | * Separate out CREG packing into new pattern, to avoid conflict with PREGEddie Hung2019-09-234-46/+273