It depends on what kind of tool you are using when you
check waveform.
For ex:
If you are using novas verdi to check waveform, then, you
only need to define your state by using "`define", that tool
can show "state name" when you check waveform.
I think the main point is: how the tool support higher level debugging?