Formal analysis of macro synchronous micro asychronous pipeline for hardware Trojan detection | IEEE Conference Publication | IEEE Xplore