fsm                                                Specifies the
                                                   characteristics of finite
                                                   state machines.
 { -g                                                Applies constraint
                                                     globally
     [ -minimizestate       [ yes | no ] ]           /yes
     [ -encoding            encoding ]               random, deterministic
                                                     random, sequential, one
                                                     hot, multi level,
                                                     symbolic two level,
                                                     symbolic multi level,
                                                     basic /basic
 |  [ -s                    scope                    Applies constraint to a
                                                     design unit or
                                                     instance/current scope
     [ -process             process]                 process containing an
                                                     implicit FSM
     [ -state               state ]                  state register of an
                                                     explicit FSM
     [ -reset               reset_signal
     [ -edge                edge ]                   0, 1/0
     [ -nature              nature ]                 synchronous,
                                                     asynchronous/asynchronous
     [ -minimizestate       [ yes | no ] ] ]          /yes
     [ -encoding            encoding ] }             random, deterministic
                                                     random, sequential, one
                                                     hot, multi level,
                                                     symbolic two level,
                                                     symbolic multi level,
                                                     basic /basic
