Dans le domaine des Sciences et des Techniques de l''Information et de la Communication (STIC) l''apport formidable des technologies émergentes sub-microniques dédiées notamment aux systèmes sur puce (SoC) est indéniable mais par contre la complexité de la conception, de la vérification et du test de ces systèmes s''en trouve très largement augmentée...