[[sharing_naming_conventions]] This rule allows to check that all FSM state signal names match a provided regular expression.
With default regular expression ^sm_.+:
signal MyFSM : state_mealy_type;
With default regular expression ^sm_.+:
signal sm_fly : state_mealy_type;