HAL  v4.5.0-130-g83e8bfb3f

The Hardware Analyzer - a comprehensive reverse engineering and manipulation framework for gate-level netlists.