Towards Trojan circuit detection with maximum state transition exploration
Joseph Lenox, Spyros Tragoudas · 2015
An approach for Trojan circuit detection in a finite state machine is presented. It is based on a model where long sequences of inputs that are applied to the system in the functional mode can detect if Trojan hardware is triggered with high probability. An efficient and scalable input generation algorithm for broadside tests is introduced.