Kakarlamudi Lakshmi Maidhili, Fazal NoorBasha, Allamsetty Vamsi. “Verification of Real Boot Code at System on Chip (SOC) Level Using GLS”. International Journal of Advanced Science and Technology, Vol. 29, no. 7, May 2020, pp. 1192 -00, http://sersc.org/journals/index.php/IJAST/article/view/15102.