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://ijsrcseit.com/index.php/home/article/view/CSEIT24106157. Acesso em: 12 jul. 2025.