Cadence et Mentor Graphics viennent tous les deux d’ajouter l’analyse formelle à leurs outils de vérification respectifs, la plate-forme Incisive pour le premier et ModelSim pour le second.

Le concept des preuves formelles existe depuis de nombreuses années, mais il a fallu attendre ces dernières années pour voir apparaître les méthodologies, les standards et les

…