Reddy, K. V. Formal And AI Hybrid Techniques For Scalable Verification Of Large System-On-Chips. JICRCR 2025, 170-177.