Deadlock detection is a challenging issue in the analysis and design of on-chip networks. We have designed an algorithm to detect deadlocks automatically in on-chip networks with wormhole switching. The algorithm has been specified and proven correct in ACL2. https://www.jmannino.com/mega-save-KangVape-Onee-Stick-Disposable-3000-Puffs-12mL-special-find/