projekti väljalaskmine (Hardware Analyzer), arendamas integreeritud keskkonda ühenduste analüüsimiseks () digitaalsete elektrooniliste skeemide jaoks. Süsteemi arendavad mitmed Saksamaa ülikoolid, see on kirjutatud C++, Qt ja Pythonis ning on MIT litsentsi all.
HAL võimaldab skeemi vaadata ja analüüsida GUI-s ning selle üle teostada manipuleerimisi, kasutades Pythonis kirjutatud skripte. Skriptdes saab kasutada kaasatud 'standardteeke' funktsioone, mis realiseerivad graafiteooria opereerimisi, mis on kasulikud digitaalsete elektrooniliste skeemide tagasitehnilisel analüüsil (nende funktsioonide abil saab skripti mõne reaga hüpoteetiliselt tuvastada teatud kujundusmallid ja eemaldada väiksemaid obfuskeeringuid). Teek sisaldab ka klasse projekti haldamiseks IDEA-s, mida saab kasutada pistikprogrammide arendamisel ühenduste analüüsimiseks ja ülevaatamiseks. Pakutakse parsi erinevate riistvara kirjeldamise keelte jaoks nagu VHDL ja Verilog.
Allikas: opennet.ru
