======================================================== scc - detect strongly connected components (logic loops) ======================================================== .. raw:: latex \begin{comment} .. cmd:def:: scc :title: detect strongly connected components (logic loops) .. code:: yoscrypt scc [options] [selection] :: This command identifies strongly connected components (aka logic loops) in the design. .. code:: yoscrypt -expect :: expect to find exactly SCCs. A different number of SCCs will produce an error. .. code:: yoscrypt -max_depth :: limit to loops not longer than the specified number of cells. This can e.g. be useful in identifying small local loops in a module that implements one large SCC. .. code:: yoscrypt -nofeedback :: do not count cells that have their output fed back into one of their inputs as single-cell scc. .. code:: yoscrypt -all_cell_types :: Usually this command only considers internal non-memory cells. With this option set, all cells are considered. For unknown cells all ports are assumed to be bidirectional 'inout' ports. .. code:: yoscrypt -set_attr :: set the specified attribute on all cells that are part of a logic loop. the special token {} in the value is replaced with a unique identifier for the logic loop. .. code:: yoscrypt -select :: replace the current selection with a selection of all cells and wires that are part of a found logic loop .. code:: yoscrypt -specify :: examine specify rules to detect logic loops in whitebox/blackbox cells .. raw:: latex \end{comment} .. only:: latex :: scc [options] [selection] This command identifies strongly connected components (aka logic loops) in the design. -expect expect to find exactly SCCs. A different number of SCCs will produce an error. -max_depth limit to loops not longer than the specified number of cells. This can e.g. be useful in identifying small local loops in a module that implements one large SCC. -nofeedback do not count cells that have their output fed back into one of their inputs as single-cell scc. -all_cell_types Usually this command only considers internal non-memory cells. With this option set, all cells are considered. For unknown cells all ports are assumed to be bidirectional 'inout' ports. -set_attr set the specified attribute on all cells that are part of a logic loop. the special token {} in the value is replaced with a unique identifier for the logic loop. -select replace the current selection with a selection of all cells and wires that are part of a found logic loop -specify examine specify rules to detect logic loops in whitebox/blackbox cells