FULL_CASE indicates that all possible case
values are specified in a case, casex, or casez statement. If case values
are specified, extra logic for case values is not created by Vivado synthesis. This attribute is placed on the case statement.
Important:
FULL_CASE is only
available as an RTL attribute, as it affects the compiler and design logic.