Reddy, Kaushik Velapa. “Formal And AI Hybrid Techniques For Scalable Verification Of Large System-On-Chips”. Journal of International Crisis and Risk Communication Research (November 12, 2025): 170–177. Accessed April 15, 2026. https://jicrcr.com/index.php/jicrcr/article/view/3429.