Vérification et optimisation booléennes d'automates et circuits