On ne compte plus l’apparition de jeunes pousses dans le monde de la CAO. Il s’agit, cette fois, de l’Américain Calypto Design Systems qui annonce l’introduction de son premier outil, un vérificateur séquentiel d’équivalences, pour le deuxième trimestre 2005. Cet outil permettra d’assurer l’équivalence entre des modèles à un niveau d’abstraction système, SystemC par exemple,

…