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.