Comme elle l’avait annoncé (voir notre numéro du 3 février 2005),la jeune pousse américaine Calypto Design Systems vient d’introduire son premier outil, le SLEC, seul vérificateur d’équivalence séquentiel logique du marché, selon elle. Avec la montée des conceptions vers des abstractions de plus haut niveau, les ingénieurs sont confrontés à la nécessité de vérifier la

…