[IEEE 2015 Nordic Circuits and Systems Conference (NORCAS): NORCHIP & International Symposium on System-on-Chip (SoC) - Oslo, Norway (2015.10.26-2015.10.28)] 2015 Nordic Circuits and Systems Conference (NORCAS): NORCHIP & International Symposium on System-on-Chip (SoC) - Formal analysis of macro synchronous micro asychronous pipeline for hardware Trojan detectionLodhi, F. K.; Hasan, S. R.; Hasan, O.; Awwad, F. · 2015