Kaushik Velapa Reddy (2024) “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, 10(6), pp. 90–98. doi:10.32628/CSEIT24106157.