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.
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.