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