Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Les circuits logiques n'ont pas cessé d'être de plus en plus complexes. Les techniques classiques de vérification, comme la simulation, se sont avérées incapables d'affronter une telle complexité. De nouvelles techniques de vérification baptisées méthodes formelles ont vu le jour. Ces techniques peuvent impliquer l'utilisation de démonstrateurs de théorèmes ou de vérificateurs d'équivalence. Le principal avantage des démonstrateurs de théorèmes est leur capacité à vérifier des circuits complexes. Cependant, ces outils nécessitent une certaine expertise. D'autre part, ils requièrent une interaction permanente avec l'utilisateur. Les vérificateurs d'équivalence quant à eux sont entièrement autonomes. Cependant, ils échouent à vérifier des circuits …
