aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap
Commit message (Collapse)AuthorAgeFilesLines
...
* | abc9_ops: add 'dff' label for auto handling of (* abc9_flop *) boxesEddie Hung2020-05-142-257/+390
| |
* | abc9: fix behaviour and help for -box optionEddie Hung2020-05-141-3/+7
|/
* abc9_ops: -reintegrate to be sensitive to start_offset tooEddie Hung2020-05-021-3/+5
|
* Add WASI platform support.whitequark2020-04-303-3/+14
| | | | | | | | | | | | This includes the following significant changes: * Patching ezsat and minisat to disable resource limiting code on WASM/WASI, since the POSIX functions they use are unavailable. * Adding a new definition, YOSYS_DISABLE_SPAWN, present if platform does not support spawning subprocesses (i.e. Emscripten or WASI). This definition hides the definition of `run_command()`. * Adding a new Makefile flag, DISABLE_SPAWN, present in the same condition. This flag disables all passes that require spawning subprocesses for their function.
* Merge pull request #1974 from YosysHQ/eddie/abc9_disable_mfsEddie Hung2020-04-231-2/+17
|\ | | | | abc9: tolerate &mfs failure by writing output file before calling it (and using that if it fails)
| * abc9: tolerate ABC nonzero exit code if output.aig; write before &mfsEddie Hung2020-04-201-2/+13
| | | | | | | | | | Re-enable mfs for xilinx/ecp5 speculatively -- if it fails, use pre-mfs result
| * xilinx/ecp5: disable abc9's "&mfs" optimisationEddie Hung2020-04-201-0/+4
| | | | | | | | Can sometimes fire an assertion, e.g. #1962
* | abc9: -prep_lut to be more robustEddie Hung2020-04-201-16/+33
|/
* Merge pull request #1864 from boqwxp/cleanup_techmap_abcwhitequark2020-04-171-99/+80
|\ | | | | Clean up pseudo-private member usage and simplify `passes/techmap/abc.cc`
| * Simplify `passes/techmap/abc.cc` and remove superfluous `RTLIL::SigSpec` ↵Alberto Gonzalez2020-04-141-132/+49
| | | | | | | | | | | | constructions. Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
| * Clean up pseudo-private member usage and simplify `passes/techmap/abc.cc`.Alberto Gonzalez2020-04-051-99/+163
| |
* | Merge pull request #1933 from YosysHQ/eddie/zinit_moreEddie Hung2020-04-151-7/+27
|\ \ | | | | | | zinit: handle $__DFFS?E?_[NP][NP][01] too
| * | zinit: handle $__DFFS?E?_[NP][NP][01] tooEddie Hung2020-04-141-7/+27
| | |
* | | Get rid of dffsr2dff.Marcelina Kościelnicka2020-04-152-214/+0
| | | | | | | | | | | | | | | | | | This pass is a proper subset of opt_rmdff, which is called by opt, which is called by every synth flow in the coarse part. Thus, it never actually does anything and can be safely removed.
* | | abc9_ops: Add a check ensuring that connected port actually exists.Marcelina Kościelnicka2020-04-151-0/+3
|/ /
* | dffinit: Avoid setting init parameter to zero-length value.Marcelina Kościelnicka2020-04-141-3/+5
| | | | | | | | Fixes #1704.
* | abc9_exe: verify -> &verify -sEddie Hung2020-04-141-2/+2
| |
* | techmap: fix error messageEddie Hung2020-04-141-1/+1
| |
* | zinit: resolve one more comment by @mwkmwkmwkEddie Hung2020-04-131-3/+5
| |
* | zinit: fix review comments from @mwkmwkmwkEddie Hung2020-04-131-5/+6
| |
* | zinit: operate on $adff, erase (* init *) entries on consumptionEddie Hung2020-04-131-22/+20
| |
* | Fix S/R comment; thanks @mwkmwkmwkEddie Hung2020-04-131-1/+1
| |
* | zinit to transform set/reset value of $_DFF_[NP][NP][01]_Eddie Hung2020-04-131-0/+14
| |
* | Supress error for unhandled \init if whole module selectedEddie Hung2020-04-131-3/+4
| |
* | Support custom PROGRAM_PREFIXMiodrag Milanovic2020-04-104-14/+14
| |
* | Clean up `passes/techmap/hilomap.cc`.Alberto Gonzalez2020-04-091-6/+2
| |
* | Merge pull request #1865 from boqwxp/cleanup_dfflibmapwhitequark2020-04-061-27/+27
|\ \ | | | | | | Clean up `passes/techmap/dfflibmap.cc`.
| * | Clean up `passes/techmap/dfflibmap.cc`.Alberto Gonzalez2020-04-061-27/+27
| |/
* / Clean up `passes/techmap/extract.cc`.Alberto Gonzalez2020-04-051-43/+36
|/
* Merge pull request #1767 from YosysHQ/eddie/idstringsEddie Hung2020-04-0226-523/+523
|\ | | | | IdString: use more ID::*, make them easier to use, speed up IdString::in()
| * kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-0226-517/+515
| |
| * kernel: use more ID::*Eddie Hung2020-04-022-10/+12
| |
* | iopadmap: Fix z assignment to inout portMarcin Kościelnicki2020-04-021-1/+15
| | | | | | | | Fixes #1841.
* | Merge pull request #1842 from YosysHQ/mwk/fix-deminout-xzClaire Wolf2020-04-021-1/+1
|\ \ | |/ |/| deminout: prevent any constant assignment from demoting to input
| * deminout: prevent any constant assignment from demoting to inputMarcin Kościelnicki2020-03-301-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Before this patch, ``` module top(inout io); assign io = 1'bx; endmodule ``` would have the `io` pin demoted to input (same happens for `1'bz`, but not for `1'b0` or `1'b1`), resulting in check failures later on. Part of fix for #1841.
* | Merge pull request #1845 from YosysHQ/eddie/kernel_speedupEddie Hung2020-04-023-4/+4
|\ \ | |/ |/| kernel: speedup by using more pass-by-const-ref
| * kernel: SigSpec use more const& + overloads to prevent implicit SigSpecEddie Hung2020-03-133-4/+4
| |
* | Merge pull request #1806 from YosysHQ/mwk/techmap-replace-fixClaire Wolf2020-03-261-1/+1
|\ \ | | | | | | techmap: Fix cell names with _TECHMAP_REPLACE_.*
| * | techmap: Fix cell names with _TECHMAP_REPLACE_.*Marcin Kościelnicki2020-03-231-1/+1
| |/ | | | | | | Fixes #1804.
* / iopadmap: Attempt to give new wires/cells meaningful namesR. Ou2020-03-221-6/+18
|/
* Merge pull request #1743 from YosysHQ/eddie/abc9_keepEddie Hung2020-03-112-13/+15
|\ | | | | abc9: improve (* keep *) handling
| * abc9: for sccs, create a new wire instead of using entirety of existingEddie Hung2020-03-061-7/+7
| |
| * abc9: (* keep *) wires to be PO only, not PI as well; fix scc handlingEddie Hung2020-03-061-8/+5
| |
| * abc: add abc.debug scratchpad optionEddie Hung2020-03-061-0/+5
| |
* | Merge pull request #1753 from YosysHQ/dave/abc9-speedupDavid Shah2020-03-101-7/+7
|\ \ | | | | | | Add ScriptPass::run_nocheck and use for abc9
| * | Add ScriptPass::run_nocheck and use for abc9David Shah2020-03-091-7/+7
| |/ | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | Merge pull request #1721 from YosysHQ/dave/tribuf-unusedDavid Shah2020-03-101-2/+1
|\ \ | |/ |/| deminout: Don't demote inouts with unused bits
| * deminout: Don't demote inouts with unused bitsDavid Shah2020-03-041-2/+1
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | iopadmap: Look harder for already-present buffers. (#1731)Marcelina Kościelnicka2020-03-021-14/+54
| | | | | | | | | | iopadmap: Look harder for already-present buffers. Fixes #1720.
* | Fixes for older compilersEddie Hung2020-02-271-1/+1
| |