SeGa: A Trojan Detection Method Combined With Gate Semantics | IEEE Conference Publication | IEEE Xplore