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