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 2024 May 13];8(4):43-5. Available from: https://ijemr.vandanapublications.com/index.php/ijemr/article/view/585