HAL is a comprehensive reverse engineering and manipulation framework for gate-level netlists focusing on efficiency, extend-ability and portability. It comes with a fully-fledged plugin system, allowing to introduce arbitrary functionalities to the core. Features Natural directed graph representation of netlist elements and their connections Support for custom gate libraries High performance thanks to optimized C++ …