Formal analysis of macro synchronous micro asychronous pipeline for hardware Trojan detection

Author(s):  
F. K. Lodhi ◽  
S. R. Hasan ◽  
O. Hasan ◽  
F. Awwad
Author(s):  
Sina Faezi ◽  
Rozhin Yasaei ◽  
Anomadarshi Barua ◽  
Mohammad Abdullah Al Faruque

2017 ◽  
Vol 33 (4) ◽  
pp. 381-395 ◽  
Author(s):  
Amin Bazzazi ◽  
Mohammad Taghi Manzuri Shalmani ◽  
Ali Mohammad Afshin Hemmatyar

Sign in / Sign up

Export Citation Format

Share Document