Synthèse logique à base de règles pour les compilateurs de silicium — Stéphane Hanriat