A Hardware Trojan Diagnosis Method for Gate-Level Netlists Based on Graph Theory | Synapse