L’outil Assertain du français TransEDA offre une analyse de la couverture complète des assertions d’une conception, en plus de la couverture de code statique et de la couverture fonctionnelle.

Avec les techniques de testbench traditionnelles, il est de plus en plus difficile de connaître exactement l’état de la vérification d’une conception : où en est-elle pendant

…