HAL - IDE за обратно инженерство на цифрови електронни схеми

публикувани издание на проекта HAL 2.0 (Hardware Analyzer), който разработва интегрирана среда за анализиране на списъци с мрежи (Netlist) цифрови електронни схеми. Системата е разработена от няколко немски университета, написана на C++, Qt и Python и предоставени под лиценза на MIT.

HAL ви позволява да преглеждате и анализирате веригата в GUI и да я манипулирате с помощта на скриптове на Python. В скриптове можете да използвате прикачената „стандартна библиотека“ от функции, които изпълняват операции на теория на графите, полезни за обратно инженерство на цифрови електронни схеми (използвайки тези функции, можете евристично да откриете някои дизайнерски модели и да премахнете прости обърквания със скрипт в няколко реда) . Библиотеката също така включва класове за управление на проекти в IDE, които могат да се използват при разработване на добавки за анализиране и проверка на връзки. Осигурени са парсери за езиците за описание на хардуера VHDL и Verilog.

Източник: opennet.ru