cutpoint - adds formal cut points to the design

yosys> help cutpoint

cutpoint [options] [selection]

This command adds formal cut points to the design.

-undef

set cutpoint nets to undef (x). the default behavior is to create
an $anyseq cell and drive the cutpoint net from that

-noscopeinfo

do not create '$scopeinfo' cells that preserve attributes of cells that
were removed by this pass

cutpoint -blackbox [options]

Replace all instances of blackboxes in the design with a formal cut point.