KAUSHIK VELAPA REDDY. Formal Verification with ABV : A Superior Alternative to UVM for Complex Computing Chips. International Journal of Scientific Research in Computer Science, Engineering and Information Technology, [S. l.], v. 10, n. 6, p. 90–98, 2024. DOI: 10.32628/CSEIT24106157. Disponível em: https://www.ijsrcseit.com/index.php/home/article/view/CSEIT24106157. Acesso em: 2 aug. 2025.