You Li, Degang Chen. Efficient analog verification against Trojan states using divide and contraction method. In IEEE International Symposium on Circuits and Systemss, ISCAS 2014, Melbourne, Victoria, Australia, June 1-5, 2014. pages 281-284, IEEE, 2014. [doi]
Abstract is missing.