[1]
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 (Aug. 2018), 43-45. DOI:https://doi.org/10.31033/ijemr.8.4.4.