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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.