Efficient analog verification against Trojan states using divide and contraction method.

You Li, Degang Chen

Browse the full ISCAS paper archive.