Programmes par equi-netlists.sf.net

Vérification de l’équivalence pour deux listes nettes de schémas ORCAD. Vérifiez si deux listes nettes peuvent générer le BPC idendical à l’étape ultérieure de conception, même si elles sont dérivées de différentes procédures