B. GOMATHY; T.V.P. SUNDARARAJAN; S.M. RAMESH. AMS SoC Formal Verification based on Hybrid Scheme. International Journal of Engineering and Management Research, v. 8, n. 4, p. 43-45, 31 Aug. 2018.