Effectiveness of circuit-level continuation methods for Trojan State Elimination verification | IEEE Conference Publication | IEEE Xplore