Abdulaziz Alhussien, Nader Bagherzadeh, Freek Verbeek, Bernard van Gastel, Julien Schmaltz. A formally verified deadlock-free routing function in a fault-tolerant NoC architecture. In 25th Symposium on Integrated Circuits and Systems Design, SBCCI 2012, Brasilia, Brazil, August 30 - September 2, 2012. pages 1-6, IEEE, 2012. [doi]
Abstract is missing.