prosjektutgivelse (Hardware Analyzer), som utvikler et integrert miljø for å analysere nettlister () digitale elektroniske kretser. Systemet er utviklet av flere tyske universiteter, skrevet i C++, Qt og Python, og under MIT-lisensen.
HAL lar deg se og analysere skjemaet i GUI og manipulere det ved hjelp av Python-skript. I skript kan du bruke det inkluderte "standardbiblioteket" med funksjoner som implementerer grafteori-operasjoner som er nyttige for omvendt utvikling av digitale elektroniske kretser (ved å bruke disse funksjonene kan du heuristisk oppdage noen designmønstre og fjerne enkle obfuskasjoner med et skript på noen få linjer) . Biblioteket inkluderer også klasser for prosjektledelse i IDE, som kan brukes ved utvikling av plugins for å analysere og inspisere forbindelser. Parsere er gitt for maskinvarebeskrivelsesspråk VHDL og Verilog.
Kilde: opennet.ru