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 , pp. 170–177. doi: 10.63278/jicrcr.vi.3429.