Triggering Trojans in SRAM circuits with X-propagation

• Published in: 2014 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT) pp. 1 - 8
• Main Authors: Senwen Kan, Dworak, Jennifer
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.10.2014
• Subjects: Hardware; Indexes; Integrated circuit modeling; Payloads; Random access memory; System-on-chip; Trojan horses
• ISSN: 1550-5774; 2377-7966
• DOI: 10.1109/DFT.2014.6962105

Over the past several years, there has been growing concern regarding the possibility that Hardware Trojan Horse circuits may be present in 3rd party IP. In this paper, we focus specifically on 3rd party IP related to Static Random-Access Memories (SRAMs), and we demonstrate that some Trojans in production-worthy SRAM circuits can easily evade standard verification techniques. We then describe a novel Trojan detection mechanism based on X-propagation during functional simulation of verification vectors. Our experiments from a silicon-worthy verification environment illustrate that our techniques can be significantly more effective at Trojan detection than standard SRAM verification practices.