A tool for automatic detection of deadlock in wormhole networks on chip