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