Programmes par equiitg.sf.net

Il s’agit d’un outil formel de vérification de l’équivalence développé @ IIT Guwahati qui peut être utilisé pour vérifier l’équivalence fonctionnelle entre les circuits (combinés et séquentiels) des formats BLIF, verilog et E