Assertions

SystemVerilog
1

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.

2

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.

3

In reply to dave_59:

Thanks Dave…!