Vérification fonctionnelle et validation de performance architecturale pour des tissus d'interconnexion by Dany Lebel | Menrva Books