projekti väljaanne (Hardware Analyzer), arendav integreeritud keskkond ühenduste loendite analüüsimiseks () digitaalsete elektrooniliste skeemide jaoks. Süsteemi arendavad mitmed Saksamaa ülikoolid, see on kirjutatud C++, Qt ja Pythonis ning MIT litsentsi alusel.
HAL võimaldab vaadata ja analüüsida skeemi GUI-s ning teostada sellega manipuleerimisi, kasutades Pythonis skripte. Skriptides on võimalik kasutada lisatud „standardraamatukogu“ funktsioone, mis teostavad graafiteooria operatsioone, mis on kasulikud digitaalsete elektrooniliste skeemide tagasivõtmise jaoks (nende funktsioonide abil on skriptis võimalik mõne reaga heuristiliselt tuvastada mõned disainimallid ja eemaldada lihtsad obfuskaatsioonid). Raamatukogu sisaldab ka klasse, mis aitavad IDE-s projekti haldamisel, mida saab kasutada pluginaiste arendamiseks ühenduste analüüsimiseks ja inspekteerimiseks. Pakutakse parserid VHDL ja Verilog riistvara kirjeldamise keelte jaoks.
Allikas: opennet.ru
