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
-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
-set <signal> <value>
Add constant value constraint
-posedge <signal>
-negedge <signal>
Set clock for init sequences