rilaxx tal-proġett (Hardware Analyzer), li jiżviluppa ambjent integrat għall-analiżi ta' netlists () ċirkwiti elettroniċi diġitali. Is-sistema hija żviluppata minn diversi universitajiet Ġermaniżi, miktuba f'C++, Qt u Python, u taħt il-liċenzja MIT.
HAL jippermettilek tara u tanalizza l-iskema fil-GUI u timmanipulaha billi tuża skripts Python. Fl-iskripts, tista 'tuża l-"librerija standard" inkluża ta' funzjonijiet li jimplimentaw operazzjonijiet tat-teorija tal-graffs utli għall-inġinerija inversa ta 'ċirkwiti elettroniċi diġitali (bl-użu ta' dawn il-funzjonijiet, tista 'tiskopri b'mod ewristiku xi mudelli tad-disinn u tneħħi obfuscations sempliċi bi skript fi ftit linji) . Il-librerija tinkludi wkoll klassijiet għall-ġestjoni tal-proġetti fl-IDE, li jistgħu jintużaw meta jiġu żviluppati plugins għall-analiżi u l-ispezzjoni tal-konnessjonijiet. Parsers huma pprovduti għal-lingwi tad-deskrizzjoni tal-ħardwer VHDL u Verilog.
Sors: opennet.ru