wydanie projektu (Hardware Analyzer), który rozwija zintegrowane środowisko do analizy list sieci () cyfrowe układy elektroniczne. System jest rozwijany przez kilka niemieckich uniwersytetów i napisany w C++, Qt i Pythonie na licencji MIT.
HAL umożliwia przeglądanie i analizowanie schematu w GUI oraz manipulowanie nim za pomocą skryptów Pythona. W skryptach można wykorzystać dołączoną „standardową bibliotekę” funkcji realizujących operacje z teorii grafów przydatne w inżynierii odwrotnej cyfrowych obwodów elektronicznych (wykorzystując te funkcje można heurystycznie wykryć pewne wzorce projektowe i usunąć proste zaciemnienia za pomocą skryptu w kilku linijkach) . Biblioteka zawiera również klasy do zarządzania projektami w IDE, które można wykorzystać przy tworzeniu wtyczek do analizy i kontroli połączeń. Dostępne są parsery dla języków opisu sprzętu VHDL i Verilog.
Źródło: opennet.ru