B. Gomathy, T.V.P. Sundararajan, and S.M. Ramesh. 2018. “AMS SoC Formal Verification Based on Hybrid Scheme”. International Journal of Engineering and Management Research 8 (4), 43-45. https://doi.org/10.31033/ijemr.8.4.4.