S.M. RAMESH; B. GOMATHY; T.V.P. SUNDARARAJAN. AMS SoC Formal Verification based on Hybrid Scheme. International Journal of Engineering and Management Research, [S. l.], v. 8, n. 4, p. 43–45, 2018. DOI: 10.31033/ijemr.8.4.4. Disponível em: https://ijemr.vandanapublications.com/index.php/ijemr/article/view/585. Acesso em: 12 may. 2024.