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: 7 nov. 2024.