aboutsummaryrefslogtreecommitdiffstats
path: root/passes/cmds/show.cc
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #3625 from povik/show_cleanupN. Engelhardt2023-02-061-56/+82
|\
| * passes: show: s/pos/bitpos/ for readabilityMartin Povišer2023-01-131-4/+5
| | | | | | | | Signed-off-by: Martin Povišer <povik@cutebit.org>
| * passes: show: Reuse string parts in generation of portboxesMartin Povišer2023-01-131-2/+5
| | | | | | | | Signed-off-by: Martin Povišer <povik@cutebit.org>
| * passes: show: Touch chunk iteration in gen_portboxMartin Povišer2023-01-131-8/+11
| | | | | | | | Signed-off-by: Martin Povišer <povik@cutebit.org>
| * passes: show: Label no_signode flagMartin Povišer2023-01-131-20/+19
| | | | | | | | | | | | Label the flag and rearrange the control flow a bit. Signed-off-by: Martin Povišer <povik@cutebit.org>
| * passes: show: Simplify wire bit range logicMartin Povišer2023-01-131-8/+10
| | | | | | | | Signed-off-by: Martin Povišer <povik@cutebit.org>
| * passes: show: Factor out 'join_label_pieces'Martin Povišer2023-01-131-20/+35
| | | | | | | | | | | | | | | | | | | | In two places, we are joining label pieces by a '|' separator. We go about it by putting the separator behind each entry, then removing the trailing separator in a final fixup pass on the built string. For easier reading, replace those occurrences by a new factored-out 'join_label_pieces' function. Signed-off-by: Martin Povišer <povik@cutebit.org>
| * passes: show: Label signed_suffix flagMartin Povišer2023-01-131-3/+6
| | | | | | | | | | | | To make it easier to follow what's going on. Signed-off-by: Martin Povišer <povik@cutebit.org>
| * passes: show: s/idx/dot_idx/ for readabilityMartin Povišer2023-01-131-7/+7
| | | | | | | | Signed-off-by: Martin Povišer <povik@cutebit.org>
| * passes: show: Fix portbox bit ranges in case of driven signalsMartin Povišer2023-01-131-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | When the 'show' pass generates portboxes to detail the connection of cell ports to wires, it has special handling of signal chunk repetitions, but those repetitions are not accounted for in the displayed bit range in case of cell outputs. Fix that, and so bring it into consistence with the behavior on cell inputs. So, taking for example the following Verilog snippet, module DRIVER (Q); output [7:0] Q; assign Q = 8'b10101010; endmodule module main; wire w; DRIVER driver(.Q({8{w}})); endmodule make the show pass display '7:0 - 8x 0:0' in the driver-to-w portbox instead of '7:7 - 8x 0:0' which it displayed formerly. Signed-off-by: Martin Povišer <povik@cutebit.org>
* | show: Remove left-in debug log_warninggatecat2023-01-231-1/+0
|/ | | | Signed-off-by: gatecat <gatecat@ds0.me>
* yosys: passes: cmds: show: added filename re-writing to `show -lib`Aki Van Ness2022-08-221-0/+1
|
* 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.
* Fix preventing show crashing with newer graphvizMiodrag Milanovic2022-06-031-1/+6
|
* show: Fix width labels.Marcelina Kościelnicka2022-04-041-23/+18
| | | | See #3266.
* show: Fix wire bit indexing.Marcelina Kościelnicka2021-11-121-3/+16
| | | | Fixes #3078.
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
| | | | | | | | 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;
* Add support for memory writes in processes.Marcelina Kościelnicka2021-03-081-0/+5
|
* use the new isPublic() in a few placesN. Engelhardt2020-09-141-1/+1
|
* Replace "ILANG" with "RTLIL" everywhere.whitequark2020-08-261-2/+2
| | | | | | | | | | 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.
* Use C++11 final/override keywords.whitequark2020-06-181-2/+2
|
* Add WASI platform support.whitequark2020-04-301-3/+9
| | | | | | | | | | | | 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.
* Use more descriptive variable name.Alberto Gonzalez2020-04-061-10/+10
| | | | Co-Authored-By: whitequark <whitequark@whitequark.org>
* Clean up `passes/cmds/show.cc`.Alberto Gonzalez2020-04-061-52/+42
|
* kernel: use more ID::*Eddie Hung2020-04-021-2/+2
|
* show: Add -nobg argument.Tim 'mithro' Ansell2020-02-151-6/+13
| | | | Makes yosys wait for the viewer command to finish before continuing.
* redirect fuser stderr to /dev/nullPepijn de Vos2020-01-281-1/+1
|
* fix show command for macosN. Engelhardt2019-09-231-0/+8
|
* substr() -> compare()Eddie Hung2019-08-071-3/+3
|
* stoi -> atoiEddie Hung2019-08-071-1/+1
|
* Use std::stoi instead of atoi(<str>.c_str())Eddie Hung2019-08-061-1/+1
|
* Merge pull request #943 from YosysHQ/clifford/whiteboxClifford Wolf2019-04-201-2/+2
|\ | | | | [WIP] Add "whitebox" attribute, add "read_verilog -wb"
| * Add "whitebox" attribute, add "read_verilog -wb"Clifford Wolf2019-04-181-2/+2
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Improve "show" handling of 0/1/X/Z paddingClifford Wolf2019-04-201-2/+21
|/ | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix typographical and grammatical errors and inconsistencies.whitequark2019-01-021-1/+1
| | | | | | | | | | | | The initial list of hits was generated with the codespell command below, and each hit was evaluated and fixed manually while taking context into consideration. DIRS="kernel/ frontends/ backends/ passes/ techlibs/" DIRS="${DIRS} libs/ezsat/ libs/subcircuit" codespell $DIRS -S *.o -L upto,iff,thru,synopsys,uint More hits were found by looking through comments and strings manually.
* Update show pass documentation with Windows caveats.William D. Jones2018-08-151-1/+2
|
* Fix run_command() when using -format and -viewer in show pass.William D. Jones2018-08-151-2/+18
|
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
| | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established)
* Add support for "yosys -E"Clifford Wolf2018-01-071-0/+5
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add support for editline as replacement for readlineClifford Wolf2017-11-081-0/+4
|
* Improved "show" help messageClifford Wolf2016-08-281-3/+5
|
* Minor fixes in show commandClifford Wolf2016-08-161-3/+3
|
* Added "yosys -D" featureClifford Wolf2016-04-211-2/+2
|
* Disabled "Skipping blackbox module" msg in show commandClifford Wolf2015-10-231-1/+1
|
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-141-7/+7
|
* Fixed trailing whitespacesClifford Wolf2015-07-021-3/+3
|
* Fixed cstr_buf for std::string with small string optimizationClifford Wolf2015-06-111-1/+1
|
* documentation improvementsClifford Wolf2015-03-291-0/+4
|
* Changed "show" defaults for Win32Clifford Wolf2015-02-191-1/+4
|
* Added Viz to yosys.jsClifford Wolf2015-02-151-1/+6
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-04 16:07:12 +0000