ХАЛ То је интегрисано окружење за анализу листе дигиталних електронских колаје је свеобухватан оквир за обрнути инжењеринг и манипулацију за мрежне листе на нивоу врата која су усредсређена на ефикасност, скалабилност и преносивост. ХАЛ долази са системом додатака пун што омогућава увођење произвољних функционалности у језгру.
Занимљиво би ХАЛ је да омогућава да се види и анализира склоп у ГУИ-у и њиме се манипулише користећи питхон скрипте. У скриптама можете да користите приложену „стандардну библиотеку“ функција које имплементирају операције теорије графова, корисне за дигитални електронски склоп обрнутог инжењерства (помоћу ових функција можете хеуристички открити различите обрасце дизајна и уклонити једноставне замућења скриптом у више редова) .
Библиотека такође укључује часове за управљање пројектима у ИДЕ-у, који се могу користити при развијању додатака за анализу и инспекцију везе. Анализатори су обезбеђени за језике описа хардвера ВХДЛ и Верилог.
Ово окружење развија неколико немачких универзитета, написан на Ц ++, Кт и Питхон и објављен под МИТ лиценцом.
Од његових главних карактеристика издвајају се:
- Усмерени природни графички приказ ставки нетлиста и њихових веза.
- Подршка за прилагођене библиотеке врата.
- Високе перформансе захваљујући оптимизованом језгру Ц ++
- Модуларност - Напишите сопствене додатке за Ц ++ за ефикасну анализу и манипулацију мрежном листом (на пример, помоћу алгоритама за графиковање)
- ГУИ богат функцијама који омогућава визуелни преглед мрежне листе и интерактивну анализу
- Уграђена Питхон љуска за експлоративну интеракцију са ставкама са нетлистке и за интеракцију са додацима из ГУИ-ја
О верзији ХАЛ 2.0.0
Сада ово окружење је у својој верзији 2.0.0 у којима Побољшани су ВХДЛ и Верилог анализатори, заједно са ЦМаке системом израде који је ажуриран тако да користи конфигурације засноване на циљевима.
такође истиче се да је додата подршка за хијерархизацију и модуларизацију, као и додатни приказ изолације и нови систем дизајна.
Од осталих промена поменуто у овој новој верзији:
- Промене у систему библиотеке врата
- БДД замењен логичким функцијама
- Главне промене у унутрашњем представљању типова капија
- Омогућава разликовање ЛУТ-ова, јапанки, засуна и комбинационих типова капија
- У резама и јапанкама сада можете одредити посебне секвенцијалне улазе као што су омогућавање, сат, конфигурација и ресетовање.
- ЈСОН гате библиотеке замењене датотекама слободе
- Поједностављени систем додатака
- Укључена библиотека Играпх
- ГУИ Мајор Ревиев
Како инсталирати ХАЛ на Убунту и деривате?
За оне који су заинтересовани за инсталирање овог реверзног инжењерског оквира за електронске склопове, то могу учинити пратећи упутства које делимо у наставку.
ХАЛ може се инсталирати на два начина у Убунтуу и дериватима, први нас подржава из спремишта пријаве (Важи само за Убунту 18.04).
ово можемо га додати у систем уз помоћ терминала (Можете га отворити помоћу пречица Цтрл + Алт + Т) и у њега ћемо откуцати следеће команде.
Прво ћемо додати из спремишта са:
sudo add-apt-repository ppa:sebastian-wallat/hal
Ажурирамо пакете и листу спремишта са:
sudo apt-get update
И настављамо да инсталирамо апликацију на наш систем тако што ћемо откуцати следећу команду:
sudo apt install hal-reverse
Други начин инсталације је компајлирање примене у систему. За то морамо помоћу терминала преузети ХАЛ код.
Прво ћемо откуцати:
git clone https://github.com/emsec/hal.git && cd hal
Сада инсталираћемо потребне зависности:
./install_dependencies.sh
И настављамо са компајлирањем кода са:
mkdir build && cd build cmake .. make
Када је компилација завршена, настављамо да изводимо инсталацију са:
make install
Коначно може да прегледа документацију и друге информације око ХАЛ-а У следећем линку.