Trusted RTL: Trojan detection methodology in pre-silicon designs | IEEE Conference Publication | IEEE Xplore