B. Gomathy, T.V.P. Sundararajan, and S.M. Ramesh. “AMS SoC Formal Verification Based on Hybrid Scheme”. International Journal of Engineering and Management Research 8, no. 4 (August 31, 2018): 43-45. Accessed September 21, 2021. https://www.ijemr.net/ojs/index.php/ojs/article/view/255.