We analyse three routing examples and describe the development of the necessary and sufficient conditions for wormhole deadlock free routing.
Proof of deadlock freedom and livelock freedom is presented.