यह आईआईटी गुवाहाटी @विकसित एक औपचारिक तुल्यता जांच उपकरण है जिसका उपयोग बीएलआईएफ, वेरिलॉग और ईडीआईएफ प्रारूपों के सर्किट (संयोजन और अनुक्रमिक) के बीच कार्यात्मक तुल्यता को सत्यापित करने के लिए किया जा सकता है।
संस्करण इतिहास
- विवरण equiitg_1.2%20beta पर तैनात 2009-07-02
कई सुधार और अपडेट - विवरण equiitg_1.2 beta पर तैनात 2009-07-02
कार्यक्रम विवरण
- कोटि: विकास > अन्य
- प्रकाशक: equiitg.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 1.2
- मंच: windows