B. Gomathy, T.V.P. Sundararajan and S.M. Ramesh (2018) “AMS SoC Formal Verification based on Hybrid Scheme”, International Journal of Engineering and Management Research, 8(4), pp. 43-45. doi: 10.31033/ijemr.8.4.4.