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 cupoint nets to undef (x). the default behavior is to create a
$anyseq cell and drive the cutpoint net from that