A hardware verification methodology for an interconnection network with fast process synchronization. - Niels Burkhardt (2012)