यह Linux में ऑनलाइन चलने के लिए eq-iitg फॉर्मल इक्विवेलेंस चेकर नाम का Linux ऐप है, जिसकी नवीनतम रिलीज़ को Verified_benchmarks_1.2.tar.gz के रूप में डाउनलोड किया जा सकता है। इसे वर्कस्टेशन के लिए मुफ्त होस्टिंग प्रदाता ऑनवर्क्स में ऑनलाइन चलाया जा सकता है।
लिनक्स में ऑनवर्क्स के साथ मुफ्त में चलाने के लिए इक्व-आईआईटीजी फॉर्मल इक्विवेलेंस चेकर नामक इस ऐप को ऑनलाइन डाउनलोड करें और चलाएं।
इस ऐप को चलाने के लिए इन निर्देशों का पालन करें:
- 1. इस एप्लिकेशन को अपने पीसी में डाउनलोड करें।
- 2. हमारे फ़ाइल प्रबंधक में https://www.onworks.net/myfiles.php?username=XXXXX उस उपयोगकर्ता नाम के साथ दर्ज करें जो आप चाहते हैं।
- 3. इस एप्लिकेशन को ऐसे फाइल मैनेजर में अपलोड करें।
- 4. इस वेबसाइट से ऑनवर्क्स लिनक्स ऑनलाइन या विंडोज ऑनलाइन एमुलेटर या मैकोज़ ऑनलाइन एमुलेटर शुरू करें।
- 5. ऑनवर्क्स लिनक्स ओएस से आपने अभी शुरुआत की है, हमारे फाइल मैनेजर को https://www.onworks.net/myfiles.php?username=XXXXX उस यूजरनेम के साथ जाएं जो आप चाहते हैं।
- 6. एप्लिकेशन डाउनलोड करें, इसे इंस्टॉल करें और इसे चलाएं।
लिनक्स में ऑनलाइन चलाने के लिए equ-iitg औपचारिक तुल्यता चेकर
Ad
वर्णन
यह एक औपचारिक तुल्यता जाँच उपकरण है जिसे @ IIT गुवाहाटी द्वारा विकसित किया गया है जिसका उपयोग BLIF, verilog और EDIF प्रारूपों के सर्किट (संयोजन और अनुक्रमिक) के बीच कार्यात्मक तुल्यता को सत्यापित करने के लिए किया जा सकता है।प्रोग्रामिंग भाषा
C
यह एक ऐसा एप्लिकेशन है जिसे https://sourceforge.net/projects/equiitg/ से भी प्राप्त किया जा सकता है। इसे ऑनवर्क्स में होस्ट किया गया है ताकि इसे हमारे एक फ्री ऑपरेटिव सिस्टम से सबसे आसान तरीके से ऑनलाइन चलाया जा सके।
