Efficient analog verification against Trojan states using divide and contraction method

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]

Authors

You Li

This author has not been identified. Look up 'You Li' in Google

Degang Chen

This author has not been identified. Look up 'Degang Chen' in Google