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