I have a question about state machines in ModelSim. When I simulate a Verilog design that includes a state machine and add the state register to the wave window in modelsim, it shows me the numerical value of the state. It would be nice if it converted that numerical value to the name I gave it in the source code. I've dug around in the documentation but do not see any reference to making that happen.
My state machine coding style is to declare each state value as a localparam, which then get assigned to a state register. In SignalTap, for instance, these values automatically get converted to names in its waveform window.
Is there a straightforward way to do this? Or am I simply expecting/wishing for something that does not exist?