SAT-Based Integrated Hardware Trojan Detection and Localization Approach Through Path-Delay Analysis

Mohammad Sabri, Ahmad Shabani, Bijan Alizadeh. SAT-Based Integrated Hardware Trojan Detection and Localization Approach Through Path-Delay Analysis. IEEE Trans. Circuits Syst. II Express Briefs, 68(8):2850-2854, 2021. [doi]

Abstract

Abstract is missing.