S.M. Ramesh; B. Gomathy; T.V.P. Sundararajan. AMS SoC Formal Verification Based on Hybrid Scheme. int. j. eng. mgmt. res. 2018, 8, 43-45.