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.