Hi All,
What is the meaning of deadlock and live-lock in state machine?
How the Assertion Based verification will help out in detecting the deadlock and live lock?
Please provide me a practical example.
Thanks in advance.
Hi All,
What is the meaning of deadlock and live-lock in state machine?
How the Assertion Based verification will help out in detecting the deadlock and live lock?
Please provide me a practical example.
Thanks in advance.
In reply to Mechanic:
There’s lots of information on this terminology. For example Deadlock, Starvation, and Livelock - GeeksforGeeks
For assertions, look for liveness checks.