S.M. Ramesh, B. Gomathy and T.V.P. Sundararajan (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.