HAL Dijital elektronik devrelerin listesinin analizi için entegre bir ortamdır.olduğunu kapsamlı bir tersine mühendislik ve manipülasyon çerçevesidir verimlilik, ölçeklenebilirlik ve taşınabilirliğe odaklanan kapı düzeyinde ağ listeleri için. HAL bir eklenti sistemi ile birlikte gelir tamamlamak çekirdekte rastgele işlevler sunmaya izin verir.
İlginç HAL tarafından GUI'deki devreyi görmeye ve analiz etmeye ve onu manipüle etmeye izin vermesidir python betikleri kullanarak. Komut dosyalarında, tersine mühendislik dijital elektronik devreleri için yararlı olan, grafik teorisi işlemlerini uygulayan ekli "standart kitaplık" işlevlerini kullanabilirsiniz (bu işlevleri kullanarak, çeşitli tasarım modellerini sezgisel olarak algılayabilir ve birden çok satırda bir komut dosyasıyla basit şaşırtmacaları kaldırabilirsiniz) .
Kütüphane IDE'de proje yönetimi için sınıfları da içerir, bağlantı analizi ve denetimi için eklentiler geliştirirken kullanılabilir. Ayrıştırıcılar, VHDL ve Verilog donanım tanımlama dilleri için sağlanmıştır.
Bu ortam birkaç Alman üniversitesi tarafından geliştirilmiştir., C ++, Qt ve Python ile yazılmış ve MIT lisansı altında yayınlanmıştır.
Ana özelliklerinden şu dikkat çekicidir:
- Netlist öğelerinin ve bağlantılarının yönlendirilmiş doğal grafiksel gösterimi.
- Özel kapı kitaplıkları için destek.
- Optimize edilmiş C ++ çekirdeği sayesinde yüksek performans
- Modülerlik - Etkili ağ listesi analizi ve manipülasyonu için kendi C ++ eklentilerinizi yazın (örneğin, grafik algoritmaları kullanarak)
- Ağ listesinin görsel denetimini ve etkileşimli analizi sağlayan, zengin özelliklere sahip bir GUI
- Netlist öğeleriyle keşifsel olarak etkileşimde bulunmak ve GUI'den eklentilerle etkileşim kurmak için yerleşik bir Python kabuğu
HAL sürüm 2.0.0 hakkında
Şimdi bu ortam 2.0.0 sürümündedir hangi içinde VHDL ve Verilog analizörleri geliştirildi, hedef tabanlı yapılandırmaları kullanmak için güncellenen CMake oluşturma sistemi ile birlikte.
ayrıca hiyerarşi ve modülerleştirme desteğinin eklendiği vurgulanmıştır, yanı sıra ek bir izolasyon görünümü ve yeni bir tasarım sistemi.
Diğer değişikliklerden bu yeni sürümde bahsedilenler:
- Kapı kitaplık sistemindeki değişiklikler
- BDD, boole işlevleriyle değiştirildi
- Kapı türlerinin dahili gösteriminde büyük değişiklikler
- LUT'lar, flip-flop'lar, mandallar ve kombinasyonel geçit türleri arasında farklılaşmaya izin verir
- Mandallar ve Flip-flop'larda artık etkinleştirme, saat, yapılandırma ve sıfırlama gibi özel sıralı girişler belirleyebilirsiniz.
- JSON geçit kitaplıkları özgürlük dosyalarıyla değiştirildi
- Basitleştirilmiş eklenti sistemi
- Igraph kitaplığı dahil
- GUI Ana İncelemesi
Ubuntu ve türevlerine HAL nasıl kurulur?
Elektronik devreler için bu tersine mühendislik çerçevesini kurmakla ilgilenenler için, talimatları izleyerek yapabilirler aşağıda paylaştığımız.
HAL iki şekilde kurulabilir Ubuntu ve türevlerinde, ilki bizi depodan destekliyor uygulamanın (Yalnızca Ubuntu 18.04 için geçerlidir).
bu bir terminal yardımı ile sisteme ekleyebiliriz (Ctrl + Alt + T kısayol tuşlarıyla açabilirsiniz) ve içinde aşağıdaki komutları yazacağız.
İlk önce depodan şunları ekleyeceğiz:
sudo add-apt-repository ppa:sebastian-wallat/hal
Paketleri ve depo listesini şu şekilde güncelliyoruz:
sudo apt-get update
Ve aşağıdaki komutu yazarak uygulamayı sistemimize kurmaya devam ediyoruz:
sudo apt install hal-reverse
Diğer kurulum yöntemi, Sistemdeki uygulamanın. Bunun için bir terminal yardımıyla HAL kodunu indirmemiz gerekiyor.
Önce şunu yazacağız:
git clone https://github.com/emsec/hal.git && cd hal
Şimdi gerekli bağımlılıkları kuracağız:
./install_dependencies.sh
Ve kodu şu şekilde derlemeye devam ediyoruz:
mkdir build && cd build cmake .. make
Derleme bittiğinde, kurulumu şu şekilde gerçekleştirmeye devam ediyoruz:
make install
Nihayet belgelere ve diğer bilgilere başvurabilir HAL hakkında Aşağıdaki bağlantıda.