Reddy, K.V. 2025. Formal And AI Hybrid Techniques For Scalable Verification Of Large System-On-Chips. Journal of International Crisis and Risk Communication Research . (Nov. 2025), 170–177. DOI:https://doi.org/10.63278/jicrcr.vi.3429.