S.M. Ramesh, B. Gomathy, and T.V.P. Sundararajan, “AMS SoC Formal Verification based on Hybrid Scheme”, int. j. eng. mgmt. res., vol. 8, no. 4, pp. 43–45, Aug. 2018.