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 8, no. 4 (August 31, 2018): 43–45. Accessed July 22, 2024. https://ijemr.vandanapublications.com/index.php/ijemr/article/view/585.