Covering the Last Mile in SoC-Level Deadlock Verification Author(s): Jef Verdonck, Khaled Nsaibia, Sagar Dewangan, HarGovind Singh and Roger Sabbagh Type: Presentation Download