fminit - set init values/sequences for formal

yosys> help fminit

fminit [options] <selection>

This pass creates init constraints (for example for reset sequences) in a formal
model.

-seq <signal> <sequence>

Set sequence using comma-separated list of values, use 'z for
unconstrained bits. The last value is used for the remainder of the
trace.

-set <signal> <value>

Add constant value constraint

-posedge <signal>

-negedge <signal>

Set clock for init sequences