A multi level functional verification of multistage interconnection network for MPSOC. - Yassine Aydi; Ramzi Tligue; Maissa Elleuch; Mohamed Abid; Jean-Luc Dekeyser (ICECS, 2009)