mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-06 06:03:23 +00:00
Code Activity

bugpoint: Document -wires flag

Browse source
This commit is contained in:
Krystine Sherwin 2025-03-22 17:15:55 +13:00
parent c4f6e90cc5
commit a3fcfddb34
No known key found for this signature in database
2 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
docs/source/using_yosys/bugpoint.rst
View file

@ -99,8 +99,9 @@ How do I use bugpoint?
design.il`` to print only the error message(s) and use that (or a portion of design.il`` to print only the error message(s) and use that (or a portion of
that) as the ``<string>`` to search for that) as the ``<string>`` to search for
- ``-modules``, ``-ports``, ``-cells``, and ``-processes`` will enable those - ``-modules``, ``-ports``, ``-cells``, ``-processes``, and ``-wires`` will
parts of the design to be removed (default is to allow removing all) enable only those parts of the design to be removed (default is to allow
removing all)
+ use the ``bugpoint_keep`` attribute on objects you don't want to be + use the ``bugpoint_keep`` attribute on objects you don't want to be
removed, usually because you already know they are related to the failure removed, usually because you already know they are related to the failure

4
passes/cmds/bugpoint.cc
View file

@ -89,6 +89,10 @@ struct BugpointPass : public Pass {
log(" -updates\n"); log(" -updates\n");
log(" try to remove process updates from syncs.\n"); log(" try to remove process updates from syncs.\n");
log("\n"); log("\n");
log(" -wires\n");
log(" try to remove wires. wires with a (* bugpoint_keep *) attribute will be\n");
log(" skipped.");
log("\n");
log(" -runner \"<prefix>\"\n"); log(" -runner \"<prefix>\"\n");
log(" child process wrapping command, e.g., \"timeout 30\", or valgrind.\n"); log(" child process wrapping command, e.g., \"timeout 30\", or valgrind.\n");
log("\n"); log("\n");