द्वारा कार्यक्रम equiitg.sf.net

यह आईआईटी गुवाहाटी @विकसित एक औपचारिक तुल्यता जांच उपकरण है जिसका उपयोग बीएलआईएफ, वेरिलॉग और ईडीआईएफ प्रारूपों के सर्किट (संयोजन और अनुक्रमिक) के बीच कार्यात्मक तुल्यता को सत्यापित करने के लिए किया जा सकता है।