выпуск праекта (Hardware Analyzer), які развівае інтэграванае асяроддзе для аналізу спісаў злучэнняў () лічбавых электронных схем. Сістэма развіваецца некалькімі нямецкімі ўніверсітэтамі, напісана на C++, Qt і Python, і пад ліцэнзіяй MIT.
HAL дазваляе праглядаць і аналізаваць схему ў GUI і праводзіць з ёй маніпуляцыі, выкарыстоўваючы скрыпты на мове Python. У скрыптах можна выкарыстоўваць прыкладаемую "стандартную бібліятэку" функцый, якія рэалізуюць аперацыі тэорыі графаў, карысныя для зваротнага інжынірынгу лічбавых электронных схем (з дапамогай гэтых функцый можна скрыптам у некалькі радкоў эўрыстычна выяўляць некаторыя шаблоны праектавання і здымаць нескладаныя абфускацыі). Бібліятэка таксама ўключае класы для кіравання праектам у IDE, якія можна выкарыстоўваць пры распрацоўцы плагінаў для аналізу і інспектавання злучэнняў. Прадстаўляюцца персеры для моў апісання апаратуры VHDL і Verilog.
Крыніца: opennet.ru