Reddy, Kaushik Velapa. “Formal And AI Hybrid Techniques For Scalable Verification Of Large System-On-Chips”. Journal of International Crisis and Risk Communication Research , Nov. 2025, pp. 170-7, doi:10.63278/jicrcr.vi.3429.