Kaushik Velapa Reddy. Formal Verification with ABV : A Superior Alternative to UVM for Complex Computing Chips. Int. J. Sci. Res. Comput. Sci. Eng. Inf. Technol [Internet]. 2024 Nov. 5 [cited 2024 Nov. 7];10(6):90-8. Available from: https://ijsrcseit.com/index.php/home/article/view/CSEIT24106157