Efficient analog verification against Trojan states using divide and contraction method | IEEE Conference Publication | IEEE Xplore