hal - the missing piece of the puzzle for hardware reverse engineering , trojan detection and insertion .
Stealthy Dopant-Level Hardware Trojans