Title: Méthodes et outils pour le diagnostic fonctionnel de microprocesseurs