Conception sûr de circuit numérique J. L. Boulanger J3eA, 4 (2005) 008 Publié en ligne : 15 juin 2005 DOI: 10.1051/bib-j3ea:2005858