Faiq Khalid Lodhi received the MS Electrical Engineering and BE Electronics Engineering degrees from National University of Sciences and Technology (NUST), Pakistan in 2016 and 2011, respectively. Since August 2011, he is a Research Assistant in System Analysis and Verification (SAVe) Lab at NUST School of Electrical Engineering and Computer Sciences. His research interests include formal analysis and verification of embedded systems, hardware design security, design reliability of VLSI circuits. Mr. Lodhi is a member of Pakistan engineering council.