aboutsummaryrefslogtreecommitdiffstats
path: root/passes/cmds
Commit message (Collapse)AuthorAgeFilesLines
* select: Fix -assert-none and -assert-any error output and docsJannis Harder2022-05-191-8/+10
| | | | | | | | | | | | | | | Both of these options consider a selection containing only empty modules as non-empty. This wasn't mentioned in the documentation nor did the error message when using `select -assert-none` list those empty modules, which produced a very confusing error message complaining about a non-empty selection followed by an empty listing of the selection. This fixes the documentation and changes the `-assert-none` and `-assert-any` assertion error messages to also output fully selected modules (this includes selected empty modules). It doesn't change the messages for `-assert-count` etc. as they don't count modules.
* show: Fix width labels.Marcelina Kościelnicka2022-04-041-23/+18
| | | | See #3266.
* Merge pull request #2019 from boqwxp/gliftClaire Xen2022-02-112-0/+600
|\ | | | | Add `glift` command for creating gate-level information flow tracking models and optimization problems
| * glift: Use ID() rather than string literals.Alberto Gonzalez2020-07-011-11/+11
| |
| * glift: Use worker pattern.Alberto Gonzalez2020-07-011-80/+75
| |
| * glift: Add support for $_NAND_ and $_NOR_ cells.Alberto Gonzalez2020-07-011-8/+11
| |
| * glift: Add support for $_MUX_ and $_NMUX_ cells.Alberto Gonzalez2020-07-011-1/+34
| |
| * glift: Add support for $_XOR_ and $_XNOR_ cells.Alberto Gonzalez2020-07-011-15/+79
| |
| * glift: Add initial hierarchy support.Alberto Gonzalez2020-07-011-12/+59
| |
| * glift: Replace `YS_OVERRIDE` with `override`.Alberto Gonzalez2020-07-011-2/+2
| |
| * glift: Add `-simple-cost-model` optionAlberto Gonzalez2020-07-011-20/+45
| | | | | | | | | | | | | | | | Rather than assigning specific weights to specific versions of taint tracking logic and summing the weights of all GLIFT cells, sum the following values for each GLIFT cell: - 0 if the associated hole/$anyconst cell value is non-zero, i.e. reduced-precision taint tracking logic is chosen at this cell - 1 if the associated hole/$anyconst cell value is zero, i.e. the full-precision taint tracking logic is chosen at this cell This simplified cost modeling reduces the potential for the QBF-SAT solver to minimize taint tracking logic area but significantly simplifies the QBF-SAT problem.
| * glift: Add `-instrument-more` option to add 4 more versions of taint ↵Alberto Gonzalez2020-07-011-44/+124
| | | | | | | | tracking logic. Also refactor a bit and update help text.
| * glift: Change command names to better represent their functions.Alberto Gonzalez2020-07-011-22/+22
| |
| * glift: Add `-create-imprecise` command, rename other commands, and re-work ↵Alberto Gonzalez2020-07-011-28/+54
| | | | | | | | the help text.
| * glift: Add replacement scoring and area minimization option.Alberto Gonzalez2020-07-011-3/+56
| |
| * glift: Remove outputs by default; add `-keep-outputs` option; properly reset ↵Alberto Gonzalez2020-07-011-12/+43
| | | | | | | | internal state between calls.
| * glift: Initial implementation of the `-sketchify` option.Alberto Gonzalez2020-07-011-50/+71
| |
| * glift: Initial implementation of GLIFT model construction.Alberto Gonzalez2020-07-011-2/+173
| |
| * glift: Add skeleton for `glift` command.Alberto Gonzalez2020-07-012-0/+51
| |
* | Add $bmux and $demux cells.Marcelina Kościelnicka2022-01-282-1/+5
| |
* | bugpoint: avoid infinite loop between -connections and -wires.Catherine2021-12-151-1/+1
| | | | | | | | Fixes #3113.
* | Add clean_zerowidth pass, use it for Verilog output.Marcelina Kościelnicka2021-12-122-1/+212
| | | | | | | | | | | | | | This should remove instances of zero-width sigspecs in the netlist, avoiding problems in the Verilog backend with emitting them. See #3103.
* | sta: very crude static timing analysis passLofty2021-11-252-0/+313
| | | | | | | | Co-authored-by: Eddie Hung <eddie@fpgeh.com>
* | show: Fix wire bit indexing.Marcelina Kościelnicka2021-11-121-3/+16
| | | | | | | | Fixes #3078.
* | Hook up $aldff support in various passes.Marcelina Kościelnicka2021-10-021-1/+1
| |
* | logger: Add -check-expected subcommand.Marcelina Kościelnicka2021-08-121-0/+9
| | | | | | | | | | This allows us to have multiple "expect this warning" calls in a single long script, covering only as many passes as necessary.
* | Add v2 memory cells.Marcelina Kościelnicka2021-08-111-1/+1
| |
* | rtlil: Make Process handling more uniform with Cell and Wire.Marcelina Kościelnicka2021-07-122-11/+8
| | | | | | | | | | | | - add a backlink to module from Process - make constructor and destructor protected, expose Module functions to add and remove processes
* | Merge pull request #2817 from YosysHQ/claire/fixemailsClaire Xen2021-06-0935-36/+36
|\ \ | | | | | | Fixing old e-mail addresses and deadnames
| * | Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-0835-36/+36
| | | | | | | | | | | | | | | | | | | | | | | | s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+Shah\s+<(dave|david)@(symbioticeda.com|yosyshq.com|ds0.me)>/David Shah <dave@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g;
* | | autoname: simple perf optimizationsZachary Snow2021-06-081-11/+15
|/ /
* | kernel/rtlil: Extract some helpers for checking memory cell types.Marcelina Kościelnicka2021-05-221-1/+1
| | | | | | | | | | | | There will soon be more (versioned) memory cells, so handle passes that only care if a cell is memory-related by a simple helper call instead of a hardcoded list.
* | connect: Add -assert option, fix non-working sigmap.Marcelina Kościelnicka2021-05-081-4/+24
| | | | | | | | Should be useful for writing tests.
* | Clarify bugpoint documentation regarding outputIris Johnson2021-03-241-0/+2
| | | | | | | | | | | | | | Bugpoint's current documentation does specify that the result of a run is stored as the current design, however it's easy to skim over what that means in practice. Add a documentation comment to explain specifically that an after bugpoint `write_xyz` pass is required to save the reduced design.
* | bugpoint: add runner optionZachary Snow2021-03-171-6/+17
| |
* | blackbox: Include whiteboxed modulesgatecat2021-03-171-1/+2
| | | | | | | | Signed-off-by: gatecat <gatecat@ds0.me>
* | Add support for memory writes in processes.Marcelina Kościelnicka2021-03-083-0/+30
| |
* | scc: Add -specify option to find loops in boxesDan Ravensloft2021-01-261-17/+60
| |
* | plugin: enhance no-plugin errorumarcor2020-12-291-1/+5
| |
* | bugpoint: add -wires option.whitequark2020-12-071-3/+38
| |
* | bugpoint: try to remove whole processes first.whitequark2020-12-071-4/+40
| |
* | bugpoint: accept quoted strings in -grep.whitequark2020-12-071-1/+4
| |
* | bugpoint: add -command option.whitequark2020-12-071-13/+21
| |
* | check: add support for processes.whitequark2020-11-031-3/+38
| |
* | check: reformat log/help text to match most other passeswhitequark2020-11-031-19/+17
| |
* | use the new isPublic() in a few placesN. Engelhardt2020-09-144-5/+5
| |
* | Replace "ILANG" with "RTLIL" everywhere.whitequark2020-08-262-5/+5
|/ | | | | | | | | | The only difference between "RTLIL" and "ILANG" is that the latter is the text representation of the former, as opposed to the in-memory graph representation. This distinction serves no purpose but confuses people: it is not obvious that the ILANG backend writes RTLIL graphs. Passes `write_ilang` and `read_ilang` are provided as aliases to `write_rtlil` and `read_rtlil` for compatibility.
* Add new builtin FF typesMarcelina Kościelnicka2020-06-231-1/+4
| | | | | | | | | | | | | | The new types include: - FFs with async reset and enable (`$adffe`, `$_DFFE_[NP][NP][01][NP]_`) - FFs with sync reset (`$sdff`, `$_SDFF_[NP][NP][01]_`) - FFs with sync reset and enable, reset priority (`$sdffs`, `$_SDFFE_[NP][NP][01][NP]_`) - FFs with sync reset and enable, enable priority (`$sdffce`, `$_SDFFCE_[NP][NP][01][NP]_`) - FFs with async reset, set, and enable (`$dffsre`, `$_DFFSRE_[NP][NP][NP][NP]_`) - latches with reset or set (`$adlatch`, `$_DLATCH_[NP][NP][01]_`) The new FF types are not actually used anywhere yet (this is left for future commits).
* Use C++11 final/override keywords.whitequark2020-06-1837-93/+93
|
* splitnets: Clean up pseudo-private member usageAlberto Gonzalez2020-06-131-7/+6
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-22 06:00:57 +0000