11. The computer implemented method of claim 10 , determining whether the deadlock candidate is the real deadlock comprising: determining whether the electronic design exits the candidate state within a threshold limit.
11. The computer implemented method of claim 10 , determining whether the deadlock candidate is the real deadlock comprising: determining whether the electronic design exits the candidate state within a threshold limit. 12. The computer implemented method of claim 11 , determining whether the deadlock candidate is the real deadlock comprising: identifying the deadlock candidate as the real deadlock when it is determined that the electronic design fails to exit the candidate state within the threshold limit; and resolving the real deadlock by modifying the electronic design.