This is used typically for synthesizing a one-hot fsm. By definition only one of the items is hot/active at a time. If you are worried about multiple hot bits then you need to add logic to detect that or enable synthesis to make the fsm safe.
This is used typically for synthesizing a one-hot fsm. By definition only one of the items is hot/active at a time. If you are worried about multiple hot bits then you need to add logic to detect that or enable synthesis to make the fsm safe.