Consistency-based characterization for IC Trojan detection | Synapse