" METHODE DE RI~JTILISATION ET DE COUVERTURE POUR LA VERIFICATION FONCTIONNELLE DES CIRCUITS NUMERIQUES..POMPES PAR TRANSITIONS MULTIPLES "