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