Conception et vérification des circuits VLSI — Yvon Savaria