B. Gomathy, T.V.P. Sundararajan, & 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