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 (Aug. 2018), 43–45. DOI:https://doi.org/10.31033/ijemr.8.4.4.