aboutsummaryrefslogtreecommitdiffstats
path: root/passes/cmds
Commit message (Collapse)AuthorAgeFilesLines
* Fixes for some of clang scan-build detected issuesMiodrag Milanovic2023-01-172-1/+5
|
* Merge pull request #3605 from gadfort/stat-json-areaN. Engelhardt2023-01-111-0/+3
|\
| * stat: ensure area is included in json outputPeter Gadfort2022-12-291-0/+3
| | | | | | | | Signed-off-by: Peter Gadfort <peter.gadfort@gmail.com>
* | Merge branch 'master' into claire/eqystuffClaire Xen2023-01-112-8/+8
|\ \
| * \ Merge pull request #3537 from jix/xpropJannis Harder2023-01-112-0/+1199
| |\ \ | | | | | | | | New xprop pass
| * | | Deprecate gcc-4.8Miodrag Milanovic2023-01-112-8/+8
| | |/ | |/|
* | | Merge branch 'master' of github.com:YosysHQ/yosys into claire/eqystuffClaire Xenia Wolf2023-01-112-2/+15
|\| |
| * | stat: Fix JSON output for empty designsJannis Harder2022-12-021-2/+2
| | |
| * | tee: Allow logging command output to a given scratchpad valueJannis Harder2022-12-021-0/+13
| | |
* | | xprop: Improve signal splitting codeJannis Harder2022-12-121-14/+10
| | | | | | | | | | | | | | | Avoid splitting output ports twice when combining -split-outputs with -split-public and clean up the corresponding code.
* | | Improvements in "viz" passClaire Xenia Wolf2022-12-091-24/+100
| | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* | | Merge branch 'claire/eqystuff' of github.com:YosysHQ/yosys into claire/eqystuffClaire Xenia Wolf2022-12-081-0/+39
|\ \ \
| * | | xprop: Add -split-public optionJannis Harder2022-12-081-0/+39
| | | |
* | | | Improvements in "viz" commandClaire Xenia Wolf2022-12-071-17/+51
|/ / / | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* | | Improvements in "viz" passClaire Xenia Wolf2022-12-071-313/+453
| | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* | | Various improvements in "viz" commandClaire Xenia Wolf2022-12-061-72/+242
| | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* | | Bugfix in splitcells passClaire Xenia Wolf2022-12-061-5/+13
| | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* | | Improvements in "viz" commandClaire Xenia Wolf2022-12-041-45/+196
| | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* | | Add "viz" pass for visualizing big-picture data flow in larger designsClaire Xenia Wolf2022-12-042-0/+511
| | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* | | Add splitcells passClaire Xenia Wolf2022-12-042-0/+192
| |/ |/| | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* | New xprop pass to encode 3-valued x-propagation using 2-valued logicJannis Harder2022-11-302-0/+1199
|/
* Rst docs conversion (#3496)KrystalDelusion2022-11-151-0/+2
| | | Rst docs conversion
* remove extra space in formatingKamyar Mohajerani2022-09-221-2/+2
|
* stat: add tech tech-specific utilizations to jsonKamyar Mohajerani2022-09-221-65/+91
| | | | | - refactor resource util. estimation/calculations for Xilinx and CMOS - don't print log_header if "-json" is set
* Merge pull request #3449 from YosysHQ/aki/show_pathrwN. Engelhardt2022-08-251-0/+1
|\
| * yosys: passes: cmds: show: added filename re-writing to `show -lib`Aki Van Ness2022-08-221-0/+1
| |
* | Fitting help messages to 80 character widthKrystalDelusion2022-08-247-48/+54
|/ | | | | | | | | Uses the regex below to search (using vscode): ^\t\tlog\("(.{10,}(?<!\\n)|.{81,}\\n)"\); Finds any log messages double indented (which help messages are) and checks if *either* there are is no newline character at the end, *or* the number of characters before the newline is more than 80.
* rename: Add -witness modeJannis Harder2022-08-161-0/+81
|
* setundef: Do not add anyseq / anyconst to unused memory port clocksJannis Harder2022-08-161-0/+24
| | | | Instead set those unused clocks to zero.
* Add the $anyinit cell and the formalff passJannis Harder2022-08-161-0/+1
| | | | | | | These can be used to protect undefined flip-flop initialization values from optimizations that are not sound for formal verification and can help mapping all solver-provided values in witness traces for flows that use different backends simultaneously.
* Merge pull request #3425 from YosysHQ/lofty/stat-jsonN. Engelhardt2022-08-111-38/+109
|\
| * stat: add option for machine-readable json outputLofty2022-08-111-38/+109
| |
* | rename: add -scramble-name option to randomly rename selectionsLofty2022-08-081-0/+56
|/
* Merge pull request #3196 from bfg86/bfg86/renameN. Engelhardt2022-06-131-4/+13
|\ | | | | Add -suffix option to rename -wire
| * Updating help-text with nakengelhardts suggestion.bfg862022-06-131-2/+2
| |
| * Add -suffix option to rename -wire.bfg862022-02-111-4/+13
| | | | | | | | See #3195
* | Merge pull request #3349 from nakengelhardt/select_count_scratchpadN. Engelhardt2022-06-092-0/+12
|\ \ | | | | | | Make 'stat' and 'select -count' save counts to scratchpad
| * | also make 'stat' save counts to scratchpadN. Engelhardt2022-06-011-0/+9
| | |
| * | have 'select -count' save the count to scratchpad entry 'select.count'N. Engelhardt2022-06-011-0/+3
| | |
* | | sta: warn on unrecognised cells only onceLofty2022-06-081-1/+4
| | |
* | | Fix preventing show crashing with newer graphvizMiodrag Milanovic2022-06-031-1/+6
|/ /
* | 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
| | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-02 02:13:43 +0000