Méthode de simulation aléatoire guidée par un algorithme génétique pour la vérification du design de circuits numériques

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal