Regimbal, S. (2003). Méthode de réutilisation et de couverture pour la vérification fonctionnelle des circuits numériques [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible