Automatic verification for deadlock in networks-on-chips with adaptive routing and wormhole switching | IEEE Conference Publication | IEEE Xplore