एचएएल यह डिजिटल इलेक्ट्रॉनिक सर्किट की सूची के विश्लेषण के लिए एक एकीकृत वातावरण हैयह एक व्यापक रिवर्स इंजीनियरिंग और हेरफेर ढांचा है डोर-लेवल नेटलिस्ट्स के लिए जो दक्षता, मापनीयता और पोर्टेबिलिटी पर ध्यान केंद्रित करते हैं। हैल एक प्लगइन प्रणाली के साथ आता है पूर्ण जो कर्नेल में मनमाने ढंग से कार्य करने की अनुमति देता है।
दिलचस्प है एचएएल द्वारा यह है कि यह GUI में सर्किट को देखने और विश्लेषण करने और इसे हेरफेर करने की अनुमति देता है अजगर लिपियों का उपयोग करना। लिपियों में, आप संलग्न सिद्धांत के "मानक पुस्तकालय" का उपयोग कर सकते हैं जो ग्राफ़ सिद्धांत संचालन को लागू करते हैं, रिवर्स इंजीनियरिंग डिजिटल इलेक्ट्रॉनिक सर्किट के लिए उपयोगी होते हैं (इन कार्यों का उपयोग करके, आप विभिन्न डिज़ाइन पैटर्न का आसानी से पता लगा सकते हैं और कई पंक्तियों पर स्क्रिप्ट के साथ सरल ओफ़्स्क्यूशन निकाल सकते हैं) ।
पुस्तकालय इसमें IDE में परियोजना प्रबंधन के लिए कक्षाएं भी शामिल हैं, कनेक्शन विश्लेषण और निरीक्षण के लिए प्लग-इन विकसित करते समय इसका उपयोग किया जा सकता है। VHDL और वेरिलॉग हार्डवेयर विवरण भाषाओं के लिए परर्स उपलब्ध कराए गए हैं।
यह वातावरण कई जर्मन विश्वविद्यालयों द्वारा विकसित किया गया हैC ++, Qt, और पायथन में लिखा गया है और MIT लाइसेंस के तहत जारी किया गया है।
इसकी मुख्य विशेषताओं में से निम्नलिखित स्टैंड आउट:
- नेटलिस्ट वस्तुओं और उनके कनेक्शनों के प्राकृतिक चित्रमय प्रतिनिधित्व को निर्देशित किया।
- कस्टम डोर लाइब्रेरी के लिए समर्थन।
- उच्च प्रदर्शन C ++ कर्नेल को अनुकूलित करने के लिए धन्यवाद
- मॉड्यूलरिटी - कुशल नेटवर्क सूची विश्लेषण और हेरफेर के लिए अपने स्वयं के C ++ प्लगइन्स लिखें (उदाहरण के लिए, रेखांकन एल्गोरिदम का उपयोग करके)
- एक सुविधा संपन्न जीयूआई जो नेटवर्क सूची और इंटरैक्टिव विश्लेषण के दृश्य निरीक्षण को सक्षम करता है
- एक अंतर्निहित पायथन शेल को नेटलीस्टर आइटम्स के साथ अन्वेषण करने और GUI से प्लगइन्स के साथ इंटरैक्ट करने के लिए
एचएएल संस्करण 2.0.0 के बारे में
अब यह वातावरण इसके संस्करण 2.0.0 में है जिसमें VHDL और वेरिलॉग एनालाइज़र में सुधार किया गया, CMake बिल्ड सिस्टम के साथ जो लक्ष्य-आधारित कॉन्फ़िगरेशन का उपयोग करने के लिए अद्यतन किया गया था।
भी यह रेखांकित किया गया है कि पदानुक्रमित और संशोधन के लिए समर्थन जोड़ा गया था, साथ ही एक अतिरिक्त अलगाव दृश्य और एक नई डिजाइन प्रणाली।
अन्य परिवर्तनों की इस नए संस्करण में उल्लेख किया गया है:
- डोर लाइब्रेरी सिस्टम में बदलाव
- बीडीडी को बूलियन कार्यों के साथ बदल दिया गया
- गेट प्रकारों के आंतरिक प्रतिनिधित्व में बड़े बदलाव
- LUTs, फ्लिप-फ्लॉप, लैच और कॉम्बिनेशन गेट प्रकारों के बीच विभेदन की अनुमति देता है
- Latches और Flip-flops में अब आप विशेष अनुक्रमिक इनपुट जैसे कि सक्षम, घड़ी, कॉन्फ़िगर और रीसेट कर सकते हैं।
- JSON गेट लाइब्रेरीज़ को स्वतंत्रता फ़ाइलों के साथ बदल दिया गया
- सरलीकृत प्लगइन प्रणाली
- Igraph पुस्तकालय शामिल थे
- जीयूआई प्रमुख समीक्षा
Ubuntu और डेरिवेटिव पर HAL कैसे स्थापित करें?
जो लोग इलेक्ट्रॉनिक सर्किट के लिए इस रिवर्स इंजीनियरिंग ढांचे को स्थापित करने में रुचि रखते हैं, वे निर्देशों का पालन करके ऐसा कर सकते हैं हम नीचे साझा करते हैं।
एचएएल दो तरीकों से स्थापित किया जा सकता है Ubuntu और डेरिवेटिव में, पहला भंडार से हमारा समर्थन कर रहा है आवेदन के (केवल Ubuntu 18.04 के लिए मान्य).
यह हम इसे टर्मिनल की मदद से सिस्टम में जोड़ सकते हैं (आप इसे शॉर्टकट कुंजी Ctrl + Alt + T) के साथ खोल सकते हैं और इसमें हम निम्नलिखित कमांड टाइप करने जा रहे हैं।
पहले हम भंडार से जोड़ने जा रहे हैं:
sudo add-apt-repository ppa:sebastian-wallat/hal
हम पैकेज और रिपॉजिटरी की सूची को इसके साथ अपडेट करते हैं:
sudo apt-get update
और हम निम्नलिखित कमांड टाइप करके अपने सिस्टम पर एप्लिकेशन इंस्टॉल करते हैं:
sudo apt install hal-reverse
अन्य स्थापना विधि संकलन द्वारा है सिस्टम में अनुप्रयोग का। इसके लिए हमें HAL कोड को टर्मिनल की मदद से डाउनलोड करना होगा।
पहले हम टाइप करने जा रहे हैं:
git clone https://github.com/emsec/hal.git && cd hal
अब हम आवश्यक निर्भरता स्थापित करने जा रहे हैं:
./install_dependencies.sh
और हम इसके साथ कोड संकलित करने के लिए आगे बढ़ते हैं:
mkdir build && cd build cmake .. make
एक बार संकलन समाप्त हो जाने के बाद, हम इसके साथ इंस्टॉलेशन करने के लिए आगे बढ़ते हैं:
make install
अंत में प्रलेखन और अन्य जानकारी से परामर्श कर सकते हैं एचएएल के बारे में निम्नलिखित लिंक में