La vérification et la validation des dispositifs complexes tels qu’un système sur puce (SoC) de connexion réseau par courants porteurs en ligne (CPL) à haut débit peuvent vite être assimilés à des casse-tête chinois si l’on s’en tient aux techniques classiques basées sur la simulation. Pour pallier ce problème, une solution existe: l’association vérification formelle,…