Reddy KV. Formal And AI Hybrid Techniques For Scalable Verification Of Large System-On-Chips. JICRCR [Internet]. 2025 Nov. 12 [cited 2025 Nov. 21];:170-7. Available from: https://jicrcr.com/index.php/jicrcr/article/view/3429