HAL ، إطار عمل هندسي عكسي للدوائر الإلكترونية الرقمية

نصف لقطة شاشة

HAL هي بيئة متكاملة لتحليل قائمة الدوائر الإلكترونية الرقميةهذا هو إطار شامل للهندسة العكسية والتلاعب لقوائم الشبكة على مستوى الباب التي تركز على الكفاءة وقابلية التوسع وقابلية النقل. هال يأتي مع نظام البرنامج المساعد كامل الذي يسمح بإدخال وظائف عشوائية في النواة.

مثيرة للاهتمام بواسطة HAL هو أنه يسمح برؤية وتحليل الدائرة في واجهة المستخدم الرسومية ومعالجتها باستخدام نصوص Python. في البرامج النصية ، يمكنك استخدام "المكتبة القياسية" المرفقة للوظائف التي تنفذ عمليات نظرية الرسم البياني ، وهي مفيدة للهندسة العكسية للدوائر الإلكترونية الرقمية (باستخدام هذه الوظائف ، يمكنك اكتشاف أنماط التصميم المختلفة وإزالة التشويش البسيط باستخدام برنامج نصي على أسطر متعددة) .

المكتبة يتضمن أيضًا فئات لإدارة المشاريع في IDE ، التي يمكن استخدامها عند تطوير المكونات الإضافية لتحليل الاتصال والفحص. يتم توفير الموزعين للغات وصف أجهزة VHDL و Verilog.

تم تطوير هذه البيئة من قبل العديد من الجامعات الألمانية، مكتوبة بلغة C ++ و Qt و Python وتم إصدارها بموجب ترخيص MIT.

من خصائصه الرئيسية تبرز ما يلي:

  • تمثيل رسومي طبيعي موجه لعناصر netlist وعلاقاتها.
  • دعم مكتبات الأبواب المخصصة.
  • أداء عالٍ بفضل نواة C ++ المحسّنة
  • Modularity - اكتب ملحقات C ++ الخاصة بك لتحليل قوائم الشبكات ومعالجتها بكفاءة (على سبيل المثال ، باستخدام خوارزميات الرسوم البيانية)
  • واجهة مستخدم رسومية غنية بالميزات تتيح الفحص البصري لقائمة الشبكة والتحليل التفاعلي
  • غلاف Python مدمج للتفاعل الاستكشافي مع عناصر netlist وللتفاعل مع المكونات الإضافية من واجهة المستخدم الرسومية

حول إصدار HAL 2.0.0

الآن هذه البيئة في نسختها 2.0.0 فيها تم تحسين أجهزة تحليل VHDL و Verilog ، جنبًا إلى جنب مع نظام البناء CMake الذي تم تحديثه لاستخدام التكوينات المستندة إلى الهدف.

أيضا تم تسليط الضوء على أنه تمت إضافة دعم التسلسل الهرمي والوحدة النمطية ، بالإضافة إلى عرض عزل إضافي ونظام تصميم جديد.

من التغييرات الأخرى المذكورة في هذا الإصدار الجديد:

  • تغييرات في نظام مكتبة الباب
  • تم استبدال BDD بوظائف منطقية
  • تغييرات كبيرة في التمثيل الداخلي لأنواع البوابات
  • يسمح بالتمييز بين طرفية المستعملين (LUTs) ، وقلابات (flip-flops) ، والمزالج ، وأنواع البوابة التوافقية
  • في Latches and Flip-flops ، يمكنك الآن تحديد مدخلات تسلسلية خاصة مثل التمكين والساعة والتكوين وإعادة التعيين.
  • تم استبدال مكتبات بوابة JSON بملفات الحرية
  • نظام المساعد المبسط
  • مكتبة Igraph متضمنة
  • مراجعة رئيسية لواجهة المستخدم الرسومية

كيفية تثبيت HAL على Ubuntu والمشتقات؟

لأولئك الذين يرغبون في تثبيت هذا الإطار الهندسي العكسي للدوائر الإلكترونية ، يمكنهم القيام بذلك باتباع التعليمات التي نشاركها أدناه.

HAL يمكن تثبيته بطريقتين في أوبونتو ومشتقاتها ، أولهم هو دعمنا من المستودع من التطبيق (صالح فقط لـ 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

أخيرا يمكن الرجوع إلى الوثائق والمعلومات الأخرى حول HAL في الرابط التالي.


كن أول من يعلق

اترك تعليقك

لن يتم نشر عنوان بريدك الإلكتروني. الحقول الإلزامية مشار إليها ب *

*

*

  1. المسؤول عن البيانات: ميغيل أنخيل جاتون
  2. الغرض من البيانات: التحكم في الرسائل الاقتحامية ، وإدارة التعليقات.
  3. الشرعية: موافقتك
  4. توصيل البيانات: لن يتم إرسال البيانات إلى أطراف ثالثة إلا بموجب التزام قانوني.
  5. تخزين البيانات: قاعدة البيانات التي تستضيفها شركة Occentus Networks (الاتحاد الأوروبي)
  6. الحقوق: يمكنك في أي وقت تقييد معلوماتك واستعادتها وحذفها.