La jeune société américaine Calypto apporte avec son outil SLEC une brique essentielle pour les flots de conception au niveau système, en réalisant une analyse d’équivalence séquentielle entre un modèle de haut niveau d’un circuit et son implantation en RTL.

Actuellement, pour les ingénieurs de vérification, il n’existe pas d’outils ou de méthodes simples pour

…