Reverse Engineering and Visualization ToolsNETA: Netlist Analysis ToolsetHALDANA: Universal Dataflow Analysis for Gate-Level Netlist Reverse Engineering