Hardware Trojan Detection Using ATPG and Model Checking.

Jonathan Cruz, Farimah Farahmandi, Alif Ahmed, Prabhat Mishra

Browse the full VLSID paper archive.