mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-16 13:58:47 +00:00
Code Activity

cmdref: Groups and group names

Browse source
This commit is contained in:
Krystine Sherwin 2025-03-21 10:28:48 +13:00
parent 1161dfd274
commit 925b00dd94
No known key found for this signature in database
4 changed files with 17 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
docs/source/cmd/index_passes_hierarchy.rst
View file

@ -1,5 +1,5 @@
hierarchy
------------------
Working with hierarchy
----------------------
.. autocmdgroup:: passes/hierarchy
:members:

4
docs/source/cmd/index_passes_sat.rst
View file

@ -1,5 +1,5 @@
sat
------------------
Simulating circuits
-------------------
.. autocmdgroup:: passes/sat
:members:

10
passes/sat/expose.cc
View file

@ -17,11 +17,10 @@
*
*/
#include "kernel/register.h"
#include "kernel/yosys.h"
#include "kernel/celltypes.h"
#include "kernel/sigtools.h"
#include "kernel/rtlil.h"
#include "kernel/log.h"
#include "kernel/log_help.h"
USING_YOSYS_NAMESPACE
PRIVATE_NAMESPACE_BEGIN
@ -217,6 +216,11 @@ RTLIL::Wire *add_new_wire(RTLIL::Module *module, RTLIL::IdString name, int width
struct ExposePass : public Pass {
ExposePass() : Pass("expose", "convert internal signals to module ports") { }
bool formatted_help() override {
auto *help = PrettyHelp::get_current();
help->set_group("passes/cmds");
return false;
}
void help() override
{
// |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|

6
passes/sat/recover_names.cc
View file

@ -23,6 +23,7 @@
#include "kernel/celltypes.h"
#include "kernel/utils.h"
#include "kernel/satgen.h"
#include "kernel/log_help.h"
#include <algorithm>
#include <queue>
@ -690,6 +691,11 @@ struct RecoverNamesWorker {
struct RecoverNamesPass : public Pass {
RecoverNamesPass() : Pass("recover_names", "Execute a lossy mapping command and recover original netnames") { }
bool formatted_help() override {
auto *help = PrettyHelp::get_current();
help->set_group("passes/opt");
return false;
}
void help() override
{
// |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|