Nouvelles méthodes de synthèse logique — Pascal Sicard