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