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]
Abstract is missing.