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, vol. 10, no. 6, pp. 90–98, Nov. 2024, doi: 10.32628/CSEIT24106157.