lancement du projet (Analyseur Matériel), développant un environnement intégré pour l'analyse de listes de connexions () de circuits électroniques numériques. Le système est développé par plusieurs universités allemandes, écrit en C++, Qt et Python, et sous licence MIT.
HAL permet de visualiser et d'analyser le schéma dans une interface graphique et d'effectuer des manipulations avec celui-ci à l'aide de scripts en Python. Dans les scripts, il est possible d'utiliser la « bibliothèque standard » de fonctions fournies, qui implémente des opérations de théorie des graphes utiles pour le reverse engineering de circuits électroniques numériques (avec ces fonctions, il est possible de détecter de manière heuristique certains motifs de conception et d'enlever des obfuscations simples en quelques lignes de script). La bibliothèque comprend également des classes pour la gestion de projet dans l'IDE, qui peuvent être utilisées lors du développement de plugins pour l'analyse et l'inspection des connexions. Des parseurs sont fournis pour les langages de description de matériel VHDL et Verilog.
Source : opennet.ru
