1.
B. Gomathy, T.V.P. Sundararajan, S.M. Ramesh. AMS SoC Formal Verification based on Hybrid Scheme. Int. j. eng. manag. res. [Internet]. 2018Aug.31 [cited 2021Sep.21];8(4):43-5. Available from: https://www.ijemr.net/ojs/index.php/ojs/article/view/255