Abstraction-Based Livelock/Deadlock Checking for Hardware Verification

Download Now
Provided by: RWTH Aachen University
Topic: Hardware
Format: PDF
Livelock/deadlock is a well-known and important problem in both hardware and software systems. In hardware verification, a livelock is a situation where the state of a design changes within only a smaller subset of the state's reachable from the initial states of the design. Deadlock is a special case in which there is only one state in a livelock. However, livelock/deadlock checking has never been actively used in hardware verification in practice, mainly due to the complexity of the computation which involves finding strongly connected components.
Download Now

Find By Topic