SAT-Based Integrated Hardware Trojan Detection and Localization Approach Through Path-Delay Analysis | IEEE Journals & Magazine | IEEE Xplore