項目發布 （硬體分析器），開發用於分析網表的整合環境（）數位電子電路。該系統由德國多所大學開發，以C++、Qt和Python編寫， 在麻省理工學院的許可下。
HAL 可讓您在 GUI 中檢視和分析模式並使用 Python 腳本對其進行操作。在腳本中，您可以使用包含的「標準庫」函數來實現對逆向工程數位電子電路有用的圖論運算（使用這些函數，您可以啟發式地檢測一些設計模式，並用幾行腳本消除簡單的混淆） 。該庫還包括 IDE 中的專案管理類，可在開發用於分析和檢查連接的插件時使用。為硬體描述語言VHDL和Verilog提供了解析器。
來源： opennet.ru