To our knowledge, our don't care transition identification and Trojan detection approach is the first self-referencing technique at RTL as well as at gate-level, thanks to leveraging an approximate symbolic exploration of the state space. Although our approach focuses on the don't care transition triggered Trojans, unlike the heuristic based approaches [1]}, [2]}, [3]}, [4]}, it does not rely on implementation details.
Also, unlike the formal verification based approaches, our approach does not require any specifications.
Finally, unlike [5]}, our approach considers sequential semantics as it computes the set of reachable states.
