Assertions for connectivity check

There is a 32 bit register with 4 fields each of 4 bits. The 4 fields represents a FSM state. How to write an assertion for just a connectivity check between actual FSM states and register values through white box probing. Thank you in advance.

In reply to Nihal:

A very ambiguous question.
Show code, explain what you mean.