hal - the missing piece of the puzzle for hardware reverse engineering , trojan detection and insertion .
Unveiling the ISCAS-85 benchmarks: a case study in reverse engineering