Freek Verbeek, Julien Schmaltz. Automatic verification for deadlock in networks-on-chips with adaptive routing and wormhole switching. In NOCS 2011, Fifth ACM/IEEE International Symposium on Networks-on-Chip, Pittsburgh, Pennsylvania, USA, May 1-4, 2011. pages 25-32, IEEE Computer Society, 2011. [doi]
@inproceedings{VerbeekS11,
title = {Automatic verification for deadlock in networks-on-chips with adaptive routing and wormhole switching},
author = {Freek Verbeek and Julien Schmaltz},
year = {2011},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5948575},
tags = {routing},
researchr = {https://researchr.org/publication/VerbeekS11},
cites = {0},
citedby = {0},
pages = {25-32},
booktitle = {NOCS 2011, Fifth ACM/IEEE International Symposium on Networks-on-Chip, Pittsburgh, Pennsylvania, USA, May 1-4, 2011},
publisher = {IEEE Computer Society},
}