Practical methods for verifying removal of Trojan stable operating points.

Yen-Ting Wang, Degang Chen, Randall L. Geiger

Browse the full ISCAS paper archive.