[1]
B. Gomathy, T.V.P. Sundararajan, and S.M. Ramesh, “AMS SoC Formal Verification based on Hybrid Scheme”, Int. j. eng. manag. res., vol. 8, no. 4, pp. 43-45, Aug. 2018.