Formal Validation of Deadlock Prevention in Networks-on-Chips

by Freek Verbeek , Julien Schmaltz