Single Trojan injection model generation and detection

Driven by cheaper fabrication facilities around the world, IC design houses are increasingly outsourcing the fabrication of their ICs. This poses the risk of intellectual property loss and to the possibility of design modifications and insertion of Trojans for sinister purposes. We present a Trojan modeling and test generation techniques for small and large Trojans. The quality of the generated test set is evaluated in term of its ability to detect modeled and un-modeled Trojans. We show experimentally that the derived tests detect all injected detectable Trojans.