S.M. Ramesh, B. Gomathy, T.V.P. Sundararajan. AMS SoC Formal Verification based on Hybrid Scheme. int. j. eng. mgmt. res. [Internet]. 2018 Aug. 31 [cited 2026 Mar. 17];8(4):43-5. Available from: https://ijemr.vandanapublications.com/index.php/j/article/view/585