C’est pour rendre la manipulation des assertions et l’analyse formelle plus aisées et surtout les intégrer dans un cadre plus large, afin de les combiner avec d’autres techniques de vérification (la simulation, l’analyse de couverture notamment), que Cadence propose l’outil Incisive formal verifier qui s’inscrit dans la plate-forme Incisive de la société, dédiée à la

…