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