Masoumeh Ebrahimi, Masoud Daneshtalab. EbDa: A New Theory on Design and Verification of Deadlock-free Interconnection Networks. In Proceedings of the 44th Annual International Symposium on Computer Architecture, ISCA 2017, Toronto, ON, Canada, June 24-28, 2017. pages 703-715, ACM, 2017. [doi]
Abstract is missing.