Identifying Specious LUTs for Satisfiability Don’t Care Trojan Detection | IEEE Conference Publication | IEEE Xplore