proiektuaren kaleratzea (Hardware Analyzer), sare-zerrendak aztertzeko ingurune integratua garatzen duena () zirkuitu elektroniko digitalak. Alemaniako hainbat unibertsitatek garatzen dute sistema, C++, Qt eta Python-en idatzita, eta MIT lizentziapean.
HALek eskema GUIan ikusteko eta aztertzeko eta Python scriptak erabiliz manipulatzeko aukera ematen du. Scriptetan, graf-teoriaren eragiketak inplementatzen dituzten funtzioen barnean dagoen "liburutegi estandarra" erabil dezakezu alderantzizko ingeniaritzarako zirkuitu elektroniko digitalak egiteko erabilgarriak (funtzio hauek erabiliz, diseinu-eredu batzuk heuristikoki detektatu eta script batekin lausotze sinpleak kendu ditzakezu lerro gutxitan) . Liburutegiak IDEan proiektuak kudeatzeko klaseak ere biltzen ditu, konexioak aztertzeko eta ikuskatzeko pluginak garatzerakoan erabil daitezkeenak. Analizatzaileak VHDL eta Verilog hardware deskribapen lengoaietarako eskaintzen dira.
Iturria: opennet.ru