wydanie projektu (Analyzator sprzętowy), rozwijający zintegrowane środowisko do analizy list połączeń () cyfrowych układów elektronicznych. System rozwijany jest przez kilka niemieckich uniwersytetów, napisany w C++, Qt i Pythonie, a na licencji MIT.
HAL pozwala przeglądać i analizować schemat w GUI oraz przeprowadzać na nim manipulacje, używając skryptów w języku Python. W skryptach można wykorzystać dołączoną „standardową bibliotekę” funkcji, które realizują operacje z teorii grafów, przydatne do inżynierii wstecznej cyfrowych układów elektronicznych (za pomocą tych funkcji można heurystycznie odkrywać niektóre wzorce projektowe i usuwać nieskomplikowane obfuskacje). Biblioteka zawiera również klasy do zarządzania projektem w IDE, które można wykorzystać przy tworzeniu wtyczek do analizy i inspekcji połączeń. Udostępniane są parsery dla języków opisu sprzętu VHDL i Verilog.
Źródło: opennet.ru
