NOCEVE: Network on chip emulation and verification environment. - Omar Hammami; Xinyu Li 011; Jean-Marc Brault (DATE, 2012)