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.