In reply to Digvijaysinh Suryavanshi:
The
unique and
priority keywords don’t change the execution the
case statement. But they do give design intent to synthesis tools so that they can optimize their implementation, and simulation tools are required to give warnings if the simulation does not match the intent. See the LRM or this paper for more details.